PS

Representations in string diagrams

圏論 Functor Representation String diagram

(きれいだけどたぶん使わない)

Representations

f:id:mbps:20160302174344p:plain

Bijectivity

f:id:mbps:20160302174350p:plain

Uniqueness

のそれぞれの命題より

f:id:mbps:20160302174403p:plain

参考文献