In the theory of 2-categories, we have the following theorem. A pseudofunctor is an equivalence of 2-categories if it is essentially surjective on objects, and the induced functor on Hom categories is an equivalence. I believe this is a well known result, does anyone know where it is contained that I may reference it?
Thanks in advance
No comments:
Post a Comment