\Deltaを線形順序集合[n]を対象にもち、順序射が射である圏とする。 Sをsimplicial setの圏、すなわち\Delta上の前層の圏とする。 pointed simplicial setの圏S_*は、pointed setに値を持つ\Delta上の前層であり、simplicial set上の前層の圏の終対象*の下に…