Dear categorists, 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. The proof sketched there uses the transfer of the comonad structure via the given iso. Here is an alternative and more explicit proof: 1) By the hypothesis, there are natural isomorphisms D(-,-) = D(FG-,-) = C(G-,G-) so that the bimodule C(G-,G-) : D -|-> D has a biuniversal element u(x) : Gx --> Gx, for any x in D. 2) By the right and left universality, u(x) is right and left invertible, so that it is an iso. 3) (Right) universality of u(x) gives bijections D(x,y) --> C(Gx,Gy) ;  f |--> Gf.u(x) which factor through the arrow map of G and the composition by u(x); since the latter is a bijection by 2), the same holds for the former. Questions: 1) Is this proof correct? Is it "essentially the same" of the one in the book? 2) Anyway, the result states that in this case to say that "there is a natural isomorphism" is equivalent to say that "the canonical natural transformation (the counit) is an iso". Since many important categorical "exactness" conditions are expressed by requiring that some canonical transformations are iso (e.g. distributivity, Frobenius reciprocity and so on) one may wonder if also in these cases it is enough to require the existence of a natural isomorphism. I suppose that the answer is negative, but are there simple counter-examples? Best regards, Claudio [For admin and other information see: http://www.mta.ca/~cat-dist/ ]