A regular topos is a sheaf topos with a site of definition that is a regular category with regular coverage.
Notice that the terminology is slightly confusing: every topos is a regular category.
Last revised on November 16, 2022 at 20:24:20. See the history of this page for a list of all contributions to it.