Beck's theorem for pseudo-monads
✍
I.J. Le Creurer; F. Marmolejo; E.M. Vitale
📂
Article
📅
2002
🏛
Elsevier Science
🌐
English
⚖ 332 KB
In this work we establish a 2-categorical analogue of Beck's theorem characterizing monadic functors. We show that a 2-functor (a pseudo-functor) U is monadic i it is a right pseudoadjoint, it re ects adjoint equivalences and it creates U -absolute pseudo-coequalizers of codescent objects.