A criterion for the existence of subobject classifiers (Q1288006): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q702196 |
Set OpenAlex properties. |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / reviewed by | |||
| Property / reviewed by: Peter T. Johnstone / rank | |||
Normal rank | |||
| 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
