http://www.gakugei-pub.jp/judi/semina/s9607/tuti005.htm http://d.hatena.ne.jp/yoshitake-h/20080426

を対象とし，順序を保つ写像を射とする小圏 上の前層 を 単体集合 という． の射は単射（面写像） と全射（退化写像） によって生成される． 小圏 に対し， に対象全体の集合を， に射全体の集合を， に 個の合成可能な射の列 全体の集合を対応させ，面写像 …