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 ---------------------------------------------------------------------------------- 18-Jan-2002 08:31:52 -0400,1180;000000000000-00000000