モノイド積
monoidal product
直積、直和、テンソル積等の「積」の一般化
(テンソル積と同じ)
$ \otimes
という記号で表記されることが多い
『圏論の基礎』.icon
では、その紛らわしさ回避のために
$ \square
を使ってる