Wiki. 严格 1-范畴 [严格1-范畴]
Wiki. 严格 1-范畴 [严格1-范畴]
严格 $1$-范畴是由对象集, 态射集以及态射的复合等等运算组成的结构.
严格 $1$-范畴的全体构成一个 $1$-范畴 $\mathsf{Cat}_1^{\mathrm{st}}$, 而 $1$-范畴的全体构成的是一个 $2$-范畴 $\mathsf{Cat}_1$. 因此两者不应当视为同一个概念.
严格 $1$-范畴是由对象集, 态射集以及态射的复合等等运算组成的结构.
严格 $1$-范畴的全体构成一个 $1$-范畴 $\mathsf{Cat}_1^{\mathrm{st}}$, 而 $1$-范畴的全体构成的是一个 $2$-范畴 $\mathsf{Cat}_1$. 因此两者不应当视为同一个概念.