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

定义

置换范畴, 又称对称严格幺半范畴, 是一种特殊的对称幺半范畴, 其中的结合律与幺元律严格成立.

置换范畴是范畴上 Barratt–Eccles 算畴的代数.

相关概念

严格幺半范畴