A characterization of quasi-toposes (Q1176678): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
| (5 intermediate revisions by 4 users not shown) | |||
| Property / author | |||
| Property / author: Q1174498 / rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Ross H. Street / rank | |||
| Property / author | |||
| Property / author: Maria-Cristina Pedicchio / rank | |||
Normal rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Ross H. Street / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3735912 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5620723 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3682648 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Subobject classifier for algebraic structures / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3356496 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Aspects of topoi: Corrigenda and acknowledgements / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Lokal präsentierbare Kategorien. (Locally presentable categories) / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5682456 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4145861 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On a Topological Topos / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4185008 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Cosmoi of Internal Categories / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4125452 / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0021-8693(91)90306-s / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1981140531 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 11:15, 30 July 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
