Wiki. “积幺半范畴” [积幺半范畴]

定义

积幺半范畴是以范畴论乘积为张量积的幺半范畴, 从而是对称幺半范畴.