Quoting comonad of a monad

Last updated Feb 3, 2024

Tags: Monad, Comonad, Kleisli category]. Discussion with Niels Voorneveld.