An essential subtopos, also called a level of a topos.
Any subtopos is an internal sublocale of the one-point locale. However, this sublocale is an essential sublocale from the internal point of view if and only if the subtopos is an open subtopos (not an essential one). See essential sublocale for details.
Last revised on May 10, 2016 at 18:47:47. See the history of this page for a list of all contributions to it.