PS

Traversable functors in String diagrams

Identity functor

f:id:mbps:20151019061842p:plain

Constant functor

f:id:mbps:20151019061239p:plain

Traversable functor

f:id:mbps:20151019061224p:plain

Traversable functor laws

Traversable functor - PS より・・・

f:id:mbps:20151102204918p:plain

foldMap/foldr

f:id:mbps:20151020064441p:plain

参考文献