# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorAlec Rhea
• CommentTimeJan 31st 2019

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.

• CommentRowNumber2.
• CommentAuthorAlec Rhea
• CommentTimeJan 31st 2019

I also added a few words in the definition section that seemed to be missing, apologies for the double post.

1. No problem, I have tidied up the postings :-).

• CommentRowNumber4.
• CommentAuthorAlec Rhea
• CommentTimeJan 31st 2019

Much appreciated!

• CommentRowNumber5.
• CommentAuthorvarkor
• CommentTimeJul 11th 2021

Mention terminology functor of effective descent type.