unaoya-epsilon.hatenablog.com ここに書いたmonoidal categoryの定義について、改めてみていく。 圏Dから\Delta^{op}への関手を考える。これが適当な条件を満たすとき、普通の意味でのmonoidal categoryを定めることができる。 例えばDの対象をvector space…