Mario Román

Search

Search IconIcon to open search

Quoting comonad of a monad

Last updated Oct 4, 2022

quoting-comonad-of-a-monad

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