Subobject classifier for algebraic structures (Q1097957)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Subobject classifier for algebraic structures |
scientific article |
Statements
Subobject classifier for algebraic structures (English)
0 references
1988
0 references
Any locally presentable category \({\mathcal C}\) can be embedded (in a reasonably ``canonical'', but non-unique, way) in a topos of presheaves \({\mathcal P}\). The authors show that there exists an object \(\Omega_{{\mathcal C}}\) in \({\mathcal P}\) which plays the role of a suboject classifier for \({\mathcal C}\) (except that it does not necessarily live in \({\mathcal C}\), and they show how localizations of \({\mathcal C}\) may be classified by Lawvere- Tierney topologies on \(\Omega_{{\mathcal C}}\), extending the well-known classification when \({\mathcal C}\) itself is a (Grothendieck) topos.
0 references
locally presentable category
0 references
topos of presheaves
0 references
suboject classifier
0 references
localizations
0 references
Lawvere-Tierney topologies
0 references