Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
at subobject classifier I have cleaned up the statement of the definition and then indicated the proof that in locally small categories subobject classifiers precisely represent the subobject-presheaf.
I added the following section because I had to search around to find some hints about when subobject classifiers don’t exist. What I added is derived from mathoverflow: Is there a finitely complete category with terminal object but NO subobject classifier?, though I didn’t add the other examples which seem mostly to do with factoring. Would it be worthwhile for someone more competent to distill that info and add it?
Having a subobject classifier is a vary strong property of a category and “most” categories don’t have one.
For example, catgories with a terminal object can’t have one if there are no morphism out of the terminal object.
Any top bounded partial order.
In , the category of rings, there are no morphisms out of the terminal object the zero ring.
(also I’m surprised the is no nLab page on the category of rings. I find it mentioned in passing at ring.
I added the following section because I had to search around to find some hints about when subobject classifiers don’t exist. What I added is derived from mathoverflow: Is there a finitely complete category with terminal object but NO subobject classifier?, though I didn’t add the other examples which seem mostly to do with factoring. Would it be worthwhile for someone more competent to distill that info and add it?
Having a subobject classifier is a vary strong property of a category and “most” categories don’t have one.
For example, catgories with a terminal object can’t have one if there are no morphism out of the terminal object.
Any top bounded partial order.
In , the category of rings, there are no morphisms out of the terminal object the zero ring.
(also I’m surprised the is no nLab page on the category of rings. I find it mentioned in passing at ring.
Thanks. I edited it to say no nonidentity morphisms out of the terminal object.
The category of rings page is called Ring, like most pages on particular categories. I added a redirect.
I added the example of abelian categories to the list. (I vaguely recall there being a slicker proof than showing that all small products of with itself embed into and invoking “size issues”, but I can’t recall it right now.)
@Jesse perhaps via the notion of AT category?
Are there any interesting categories that aren’t toposes but have a subobject classifier? I suppose one could take any full subcategory of a topos closed under finite limits and containing the subobject classifier, but not closed under exponentials, such as the category of all finite or countable sets. But are there any examples that don’t occur this way?
Mike, I think pointed sets have a subobject classifier (the obvious one with two elements).
There are some properties of categories with a subobject classifier which rule out lots of categories; for example:
Such categories are balanced (mono + epi = iso). This is another way of ruling out or any poset, and also examples like , , , , and many others.
All monos are “kernels”, i.e., all are equalizers of pairs where . This rules out without bringing in size considerations.
Every morphism has a unique epi-mono factorization.
Since is internally a cartesian closed poset, all subobject orders are cartesian closed posets, and so in particular are distributive lattices if joins exist. This rules out for instance.
Then there’s this curious little chestnut:
Returning to the issue of abelian categories, I think we can exploit distributivity of subobject lattices to generally rule these out.
Take any object , so that we have three subobjects , , and . Then , whereas . Under distributivity we have
but forces . So only the trivial abelian category can have a subobject classifier.
This probably rules out categories with biproducts generally, although some fine detail may have escaped me.
The category of classes in ZF(C) has a subobject classifier. Presumably the same is true for other boolean models of algebraic set theory.
More generally, the class of pretoposes described in my IHES talk have a subobject classifier.
Needless to say, all these are not locally small. (EDIT: actually, not all of them. The example constructed in my paper in Studia Logica is locally small, but it’s a topos. There are plenty more examples of that type, too)
I’ve now added a bunch of material to subobject classifier.
Thanks. I didn’t realize that a subobject classifier was an internal cartesian closed poset even if the ambient category isn’t a Heyting category. Interesting.
Added a reference to the paper
where he discusses subobject classifiers in varieties.
In the first definition,
there is a unique morphism χ U:X→Ω such that there is a pullback diagram of the following form:
I think it’s more clear to say: there is a unique morphism χ U:X→Ω such that the following is a pullback diagram:
(Also the period after the diagram should be removed, since the sentence was ended by the colon.)
The earlier wording confused me because all the data has already been given (the morphism Ω →* is unique since * is terminal, I don’t suggest adding this). I asked myself “what else is there which the property asserts exists” to finish specifying the diagram.
This is my first comment, I hope it’s helpful. Seth
cross-links with boolean domain
fixing the pdf link for
here and elsewhere
1 to 20 of 20