1-natural transformations in string diagrams

("Open" functorial box - PS が便利なので描き方を更新)

1-category

1-functor

1-functorialilty

1-natural transformation

1-naturality

1-natural transformation @deprecated

参考文献

• Strings and Stripes. Graphical Calculus for Monoidal Functors and Monads.pdf
• Frobenius Morphisms of Bicategories.pdf