[n] = { 0, 1, ... , n } ( n = 0, 1, 2, ... ) を対象とし，順序を保つ写像を射とする小圏を Δ とする． Δ 上の前層すなわち集合の圏 Sets への反変関手を 単体集合 という．単体写像とは単体集合の間の自然変換のこと． 小圏 C に対し次のようにして単体集…