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.

- The classifying topos of a regular theory is a regular topos.

Last revised on November 16, 2022 at 20:24:20. See the history of this page for a list of all contributions to it.