PS

Universal morphisms in string diagrams

記号は Universal morphism - PS に準じる。

Terminal morphisms

f:id:mbps:20160304124121p:plain

Universality

f:id:mbps:20160304124133p:plain

Bijectivity

f:id:mbps:20160304124139p:plain

参考文献