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