>>161
Cokerも底空間は∪Coker(h_p)で、像位相(写像G→∪Coker(h_p)が連続になる最強の位相)入れるだけじゃないかな

めんどくさいからいちいち証明書かんけど