2012-02-03 圏と単体集合 math 有限全順序集合を圏とみなすことにより,圏は単体集合とみなすことができる. に対し, とおく. 小圏 に対し, とおき, を によって定義する. このとき, さらに とおき, を と定義する. このとき, さらに とおき, を と定義する. このとき,