23 Oct
2002
23 Oct
'02
8:28 p.m.
We have a beautiful notion of subobject classifier true:1-->omega Is there a similar (ie. dual) notion of quotient (co)classifier? - perhaps formulated using pushouts? 24-Oct-2002 21:07:53 -0300,2136;000000000000-00000000