[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

categories: rfn+rfr



Dear Colleagues,

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.

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.

Thank you very much in advance!

Cheers,
David
--
Professor David B. Benson                                (509) 335-2706
School of EE and Computer Science (EME 102)              (509) 335-3818 fax
PO Box 642752, Washington State University               office: Sloan 308 and 307
Pullman WA 99164-2752   U.S.A.                           dbenson@eecs.wsu.edu
----------------------------------------------------------------------------------