https://arxiv.org/pdf/1110.0405.pdf
cosimplicial spaceとは関手\Delta \to Spaceのこと。
特に\Deltaはn単体を対応させる関手としてcosimplicial spaceである。
Zをcosimplicial spaceとし、そのgeometric realizationを\prod Hom_top(\Delta(n) , Z(n))の部分空間Hom_{cosimpTop}(\Delta,Z)と定める。
これはtotalizationともいう？
Tot(Z)は\prod_n\Hom(\Delta(n),Z(n)) \to \prod_{\phi:n \to m}\Hom(\Delta(n),Z(m))のequalizarで定義。
simplicial set Kとtop sp Xに対しHom(K,X)はcosimplicial setとなる。
ここでHomは単に集合としての射？
Tot(Hom(K, X)) \to Hom_Top(geom(K), X)というK, Xについて自然な射が存在し、ある条件下で同相である。
