Monadic adjunction
= Monadic adjunction
{wiki=Monadic_functor}
An adjunction is monadic when its comparison functor from the right-hand category to the Eilenberg-Moore category of the induced monad is an equivalence.
= Monadic adjunction
{wiki=Monadic_functor}
An adjunction is monadic when its comparison functor from the right-hand category to the Eilenberg-Moore category of the induced monad is an equivalence.