強モノイダル圏
ストリクトモノイダル圏
strict monoidal category
$ (C,\otimes ,\iota)
3つの自然同型が恒等変換の
モノイダル圏
モノイダル圏はデカルト圏
$ \mathbf{Cat}
の
モノイド対象
例:
$ \mathbf{Ord}_\mathrm{fin}
$ \begin{aligned} 0&=\emptyset \\n+1&= \left\{ 0,\dots,n \right\} \end{aligned}
射は集合としての関数
モノイダル積は
+
単位元は
0
Ref.icon
monoidal category in nLab