* Question on subobject classifiers
@ 1999-06-12 13:04 Michael Barr
0 siblings, 0 replies; only message in thread
From: Michael Barr @ 1999-06-12 13:04 UTC (permalink / raw)
To: Categories list
I am reviewing a paper whose main result sounds like it ought to be known.
Is it and can anyone give me a citation?
Let E be a cocomplete category with a small dense subcategory C (so every
e of E is the colimit of C/e --> E). Then an object \Omega of E is a
subobject classifier in E iff it represents the subobject functor
restricted to C.
-------------------------------------------------------------------
If a society puts up with bad plumbers because plumbing is such a low
calling, and if it puts up with bad philosophers because philosophy is
such a high calling---then neither its pipes nor its theories will hold
water. --- Slight paraphrase of former HEW secretary John Gardner
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1999-06-12 13:04 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-06-12 13:04 Question on subobject classifiers Michael Barr
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).