PS

Universality

Universal morphisms in string diagrams

記号は Universal morphism - PS に準じる。 Terminal morphisms Universality Bijectivity 参考文献 Universal property - Wikipedia, the free encyclopedia