Dear categorists, it has been pointed out to me that my off-the-cuff additional claim that Yoneda preserves subobject classifiers fails for even the simplest examples, such as 1 -> ["1^op", Set]. It should, however, be the case that Yoneda preserves dominances in the sense of Rosolini (i.e. things that classify well-behaved classes of monos). Best, Lutz -- ----------------------------------------------------------------------------- Lutz Schroeder Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen lschrode@informatik.uni-bremen.de P.O.Box 330440, D-28334 Bremen http://www.informatik.uni-bremen.de/~lschrode ----------------------------------------------------------------------------- 16-Jul-2002 20:03:00 -0300,1346;000000000000-0000001a