Bifunctoriality in string diagrams

Product category

Morphism

Identity

Composition

Bifunctoriality

参考文献

• Bifunctoriality - PS