Re: Question on adjoints

On 20/11/2009, at 10:25 AM, claudio pisani wrote:

this is a remark about the very first proposition in the "elephant", followed by some questions. Lemma 1.1.1 says:

If F is left adjoint to G : D --> C and there is a natural isomorphism FG --> 1_D (not necessarily the counit), then G is full and faithful.

For anyone interested, I have put a string proof of this at <http://www.maths.mq.edu.au/~street/folkstring.pdf>. ==Ross [For admin and other information see: http://www.mta.ca/~cat-dist/ ]