PS

Kleisli categories in string diagrams

Monads in string diagrams - PS の記法を使って・・・

Kleisli category

Morphism

f:id:mbps:20160123215258p:plain

Composition

f:id:mbps:20160131161017p:plain

Kleisli adjunction

f:id:mbps:20160131051435p:plain

参考文献