Talk:Full and faithful functors

Examples

It says "The forgetful functor U : Grp → Set is faithful but neither injective on objects or morphisms."

I am suspicious of that grammar, but as I do not know whether "neither injective" is a technical term for a variant of or method of injection I do not dare try to rephrase it. I am suspecting though that maybe it might be intending to say something along the lines of "is faithful but it is injective on neither objects nor morphisms" or "is faithful, but on objects and on morphisms it is not injective". Its a hard call to make as to which construction is clearest, its a tricky statement to try to write.

Knotwork 15:16, 24 August 2006 (UTC)

• This examples sections needs an urgent revision. Albmont (talk) 12:22, 30 June 2009 (UTC)

The grammar question is irrelivant as it occurs in the midst of making a false claim; by very definition, every faithful functor induces an injective map on Hom sets........ —Preceding unsigned comment added by 128.101.152.25 (talk) 16:47, 4 August 2009 (UTC)