しばらく[HSS]を読む。 S_*でpointed simplicial set (ptd sset)の圏を表す。 以前に書いたように、これはptd set上の前層の圏と思っても、ssetの終対象 * からの射とssetの組と思ってもよい。 S_*はsmall limitとsmall colimitをもつ。 これはSが前層の圏で…