Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
The link for â€™equivalentâ€™ at the top redirected to natural isomorphism which (as I understand it) is the correct 1-categorical version of an equivalence of functors, but this initially lead me to believe that a functor was monadic iff it was naturally isomorphic to a forgetful functor from the Eilenberg-Moore category of a monad on its codomain, which would mean that the domain of the functor was literally the Eilenberg-Moore category of some adjunction since natural isomorphism is only defined for parallel functors.
I also added a few words in the definition section that seemed to be missing, apologies for the double post.
No problem, I have tidied up the postings :-).
Much appreciated!
1 to 4 of 4