Category of adjunctions inducing a fixed monad
ID: category-of-adjunctions-inducing-a-fixed-monad
Fix a monad on . Objects are adjunctions with left-hand category whose induced monads are identified with the fixed monad. A morphism between two such adjunctions is a functor between their right-hand categories commuting with both adjoints and respecting the specified units and counits. Strict identifications give a category; coherent identifications give the analogous universal property up to compatible natural isomorphism.
New to topics? Read the docs here!