epsilon

Lurieの [math/0702299] Derived Algebraic Geometry II: Noncommutative Algebra によると、monoidal catには同値な別の定義があって、そちらは\infty-catへの一般化に使うらしいので、その定義を見ていく。 \Deltaを対象を各整数n>-2に対して線形順序集合[n]全体とし、射を順序射からなる圏とする。 関手p:C \to \Delta^…