U:A → Open(M) を被覆だとする。添字集合がAが重要で、開集合の集合だと考えてはダメだ。Uから作ったチェック亜群を ChG(U) する。 対象： |ChG(U)| := {(x, a)∈M×A | x∈Ua} 射： Mor(ChG(U)) := {(x, a, b)∈M×A×A | x∈Ua∩Ub} dom, cod： dom(​(x, a, b)) = …