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

定义

双幺半范畴是一个范畴 $\mathsf C$, 带有两个幺半范畴结构 $(\mathsf C,\oplus,0)$, $(\mathsf C,\otimes,1)$, 左分配律 $$ \delta_\ell\colon (B\oplus C)\otimes A \overset{\simeq}{\longrightarrow}B\otimes A \oplus C \otimes A, $$ 以及右分配律.

类似于幺半范畴, 可在双幺半范畴上附加严格, 对称等等条件.