6 Apr
2013
6 Apr
'13
8:22 p.m.
Dear all, This is a standard fact, proved for instance in details in "Categories for the Working Mathematician" (Chapter 4, Section 4, Theorem 1 in the second edition), that a functor is an equivalence of categories if and only if it is part of an adjoint equivalence. I would like to use the fact that this is true in an arbitrary 2-category, i.e. that given an equivalence in a 2-category the invertible 2-cells can be required to satisfy the triangle identities. Is there a standard reference for this fact? Well-known books such as classical introductions to category theory are particularly welcome. Thanks, Jonathan [For admin and other information see: http://www.mta.ca/~cat-dist/ ]