A criterion for the existence of subobject classifiers (Q1288006): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.14492/hokmj/1351001081 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2096282096 / rank | |||
Normal rank |
Latest revision as of 20:29, 19 March 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