http://www.math.uchicago.edu/~may/BOOKS/gils.pdf
SUのcelluar objectとは、各X_qがCW複体で、d_i, s_jがcellular mapであること。
Theorem 11.5
geometric realizationと直積は交換する。
Theorem 11.12
n>=0とする。Xがstrictly properでX_qがn-q連結なら、Xのgeometric realizationはn連結。
Theorem 11.13
f:X \to Yがstrictly properの間のsimplicial mapとする。
- f_qがweak homotopy eqでXとYのgeom. real.が単連結
- fのgeom. real.がconn H-sp.の間のH-map
のいずれかが成り立てば、fのgeom. real.はhomootopy eq
