Reference request for 2-category theory Posted by kjata, at math.stackexchange.com, 21 Nov 2013 In the theory of 2-categories, we have the following theorem. A pseudofunctor is an equivalence of 2-categories if it is…