Wiki. 置换范畴 [置换范畴]

定义

置换范畴, 又称严格对称幺半范畴, 其中严格是指结合律与幺元律严格成立.

置换范畴是严格 $1$-范畴的范畴 $1\mathsf{Cat}_{\mathrm{str}}$ 中的交换代数.