A characterization of quasi-toposes (Q1176678): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 23:27, 29 January 2024
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
