19 Jan
2002
19 Jan
'02
1:20 p.m.
David Benson wrote (on 17-01-02 10:32 -0800):
We are in the presence of a functor F: A --> B which is surjective on the objects of B, up to isomorphism. I suppose I could call such functors ``soouti'', but I am hoping that someone will suggest a better name.
In Cats and Allegators we say (1.31, p17) that the functor has a REPRESENTATIVE IMAGE. 22-Jan-2002 10:34:24 -0400,4293;000000000000-00000000