nerve in nLab Cをsmall categoryとする。 Cのsimplicial nerve N(C)とはsimplicial setで0以上の整数nに対し、全順序集合[n] = \{0, 1, ..., n\}を圏と見なしたものからCへの関手のなす集合を定めるもの。 例えばMをmonoidとし、1点からなる圏で射がMである…