A characterization of quasi-toposes (Q1176678)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A characterization of quasi-toposes |
scientific article |
Statements
A characterization of quasi-toposes (English)
0 references
25 June 1992
0 references
Categories of separated objects for a Lawvere-Tierney topology on a Grothendieck topos are characterized as those locally-presentable locally-cartesian-closed categories in which strong equivalence relations are effective. Counterexamples are produced to show that the last clause of the characterization is necessary. This solves a problem of 12 years standing.
0 references
quasi-topos
0 references
locally presentable category
0 references
separated objects
0 references
Lawvere- Tierney topology
0 references
Grothendieck topos
0 references
locally-cartesian-closed categories
0 references
