http://www.math.jhu.edu/~eriehl/hocolimits.pdf geometric realizationをXと\Deltaのテンソル積として定義できる。 simplicial set 7 - epsilon より一般に\Delta:\Delta \to Uを定めておけば、圏UにおけるXのgeometric realizationを定義することができる…