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

定义

积幺半范畴 (Cartesian monoidal category) 是以范畴论乘积为张量积的幺半范畴, 从而是对称幺半范畴.