up monad and down comonad of an adjunction collageLast updated Mar 5, 2025 Tags: distributive law, distributive law monad-comonad, duploid.