PS

Monoidal comonads in string diagrams

Comonads in string diagrams

Monads in string diagrams - PS を上下さかさまに。

Monoidal comonad

Comonad:

  •  (D,\epsilon: D \to 1,\delta : D \to D ^ 2)

であるもの。

Monoidal naturality を明記すると:

f:id:mbps:20160131061020p:plain

f:id:mbps:20160131061028p:plain

参考文献