Open localizations (Q1181456): Difference between revisions

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.