Re quotient classifier(s): Yes. William James worked through this in his 1997 Adelaide PhD. There's an account in Ch 5 of our book "Categories Sheaves and Paraconsistent Logic" (still seeking publication). On another matter, modelling monics by the mereological subobject relation is possible, though getting the definitions right so as to prove that monics so understood are left-cancellable is a little tricky. Chris Mortensen 29-Oct-2002 20:09:06 -0400,1207;000000000000-00000000