PS

Applicative functors in string diagrams rev.2

(役に立つような立たないような・・・)

Comma operator

f:id:mbps:20160210221143p:plain

Evaluation operator

f:id:mbps:20160210221201p:plain

Applicative functors

f:id:mbps:20160210221212p:plain

To monoidal functors

f:id:mbps:20160210221226p:plain

とすると

f:id:mbps:20160210221310p:plain

LiftAn

以上から直ちに:

f:id:mbps:20160210221321p:plain

参考文献