PS

Cofree comonads in String diagrams

Cofree comonad

Data

f:id:mbps:20160112044832p:plain *1

Implementations

再帰的に定義する(合わせ鏡のように)。

f:id:mbps:20160112074330p:plain

Functions

f:id:mbps:20160112074351p:plain

参考文献

*1:iso は真四角にした