Monoidal comonads in string diagrams
Comonads in string diagrams
Monads in string diagrams - PS を上下さかさまに。
Monoidal comonad
Comonad:
で
- : monoidal functor
- : monoidal natural transformation
であるもの。
Monoidal naturality を明記すると:
Monads in string diagrams - PS を上下さかさまに。
Comonad:
で
であるもの。
Monoidal naturality を明記すると: