monoidal product

[dannypsnl]

這很有趣的理由是所有 product, coproduct 還有其他 limits 之類有的沒的其實可以簡化到都是 monoidal product

於是剩下的問題就是範疇 $C$

1. $C \times C \to C$ 的 functor 存在嗎？
2. 如果有，這個 functor 有哪些 commute diagram？