有限全順序集合を圏とみなすことにより，圏は単体集合とみなすことができる． に対し， とおく． 小圏 に対し， とおき， を によって定義する． このとき， さらに とおき， を と定義する． このとき， さらに とおき， を と定義する． このとき， j+1 \e…