2016-03-04 Universal morphisms in string diagrams 圏論 Universality String diagram 記号は Universal morphism - PS に準じる。 Terminal morphisms Universality Bijectivity 参考文献 Universal property - Wikipedia, the free encyclopedia