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.
"Essentially surjective", unless I am missing something.
Somewhat related, I have not been able to discover the definition of ``essential image'' in print, and I would greatly appreciate a reference, preferably the first one.
Taylor's "Practical Foundations" mentions "representative image" on p.210, which I take it is the same thing. -- Frank Atanassow, Information & Computing Sciences, Utrecht University Padualaan 14, PO Box 80.089, 3508 TB Utrecht, Netherlands Tel +31 (030) 253-3261 Fax +31 (030) 251-379 18-Jan-2002 18:54:44 -0400,2857;000000000000-00000000