Is there a non-identity monad morphism M ~> M that is monadically natural in M? The Curious Case of Monad Morphisms Identity Naturality and Beyond The world of category theory with its abstract structures and powerful generalizations often 2 min read 06-10-2024 8