PS

Bifunctoriality in string diagrams

Product category

Morphism

f:id:mbps:20160213023737p:plain

Identity

f:id:mbps:20160213023749p:plain

Composition

f:id:mbps:20160213023755p:plain

Bifunctoriality

f:id:mbps:20160213023802p:plain

参考文献