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.
Articles by others on the same topic
There are currently no matching articles.