A criterion for the existence of subobject classifiers (Q1288006): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 11:38, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A criterion for the existence of subobject classifiers |
scientific article |
Statements
A criterion for the existence of subobject classifiers (English)
0 references
26 September 1999
0 references
The author observes that if \(\mathcal E\) is a cocomplete category having a small dense subcategory \(\mathcal C\), `the subobject classifier of \(\mathcal E\)' may always be considered to exist as a presheaf on \(\mathcal C\). He shows that \(\mathcal E\) has a subobject classifier if and only if this presheaf lies in \(\mathcal E\) considered as a reflective subcategory of the presheaf category. A couple of variants of this condition are given. These results are closely related to those of \textit{F. Borceux} and \textit{B. Veit} [``Subobject classifier for algebraic structures'', J. Algebra 112, No. 2, 306-314 (1988; Zbl 0636.18003)].
0 references
cocomplete category
0 references
subobject classifier
0 references
reflective subcategory
0 references
presheaf category
0 references