[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
----------------------------------------------------------------------------------