http://www.math.jhu.edu/~eriehl/ssets.pdf nerve functor N:Cat \to sSetも先日の枠組みであつかえる。 F:\Delta \to Catを全順序集合を圏とみなすことによる埋め込みとし、R:Cat \to sSetをRXn = Cat(Fn, X)とすると、これはXのnerveである。 これは左随…