Wiki. “严格幺半范畴” [严格幺半范畴]

定义

严格幺半范畴是一种特殊的幺半范畴, 其中的结合子 (associator) 与幺子 (unitor) 是恒等自然变换.

相关概念

置换范畴