2015-12-29 "Open" functorial box 圏論 Monoidal String diagram (どうもこっちの方が断然良さそう) 1-functoriality Lax functoriality 参考文献 Strings and Stripes. Graphical Calculus for Monoidal Functors and Monads.pdf Frobenius Morphisms of Bicategories.pdf
