PS

Monoidal natural transformations in string diagrams

Monoidal functor

f:id:mbps:20160128180406p:plain

Coherence

f:id:mbps:20160128180415p:plain

Monoidal natural transformation

f:id:mbps:20160128180423p:plain

Monoidal naturality

f:id:mbps:20160128180434p:plain

参考文献