Open localizations (Q1181456): Difference between revisions
From MaRDI portal
Revision as of 14:24, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Open localizations |
scientific article |
Statements
Open localizations (English)
0 references
27 June 1992
0 references
Essential localizations, as introduced by \textit{G. M. Kelly} and \textit{F. W. Lawvere} [Bull. Soc. Math. Belg., Sér. A 41, 289-319 (1989; Zbl 0686.18005)] are full, reflective subcategories whose reflector has a left adjoint and is left exact. The paper gives conditions on essential localizations of a topos to be open, and concludes that all open localizations constitute a locale.
0 references
essential localizations of a topos
0 references
open localizations
0 references
locale
0 references