Wiki. 对称幺半范畴的严格化 [对称幺半范畴的严格化]

给定对称幺半范畴 $\mathsf C$, 存在与之等价的对称严格幺半范畴 $\mathsf D$:

• $\mathsf D$ 的对象为 $\mathsf C$ 的对象的 “列表”, 张量积为列表的拼接.
• 定义 $\pi\colon \operatorname{Ob}\mathsf D\to\operatorname{Ob}\mathsf C$, 将列表 $A_1,\cdots ,A_n$ 对应到 $A_1\otimes(A_2\otimes (\cdots\otimes A_n))$.
• $\mathsf D$ 的态射为 $\operatorname{Hom}_{\mathsf D}(X,Y):=\{X\}\times\operatorname{Hom}_{\mathsf C}(\pi(X),\pi(Y))\times\{Y\}$.