up monad and down comonad of an adjunction collage

Last updated Mar 5, 2025

Tags: distributive law, distributive law monad-comonad, duploid.