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.
finitely complete category, cartesian functor, cartesian logic, cartesian theory
regular category, regular functor, regular logic, regular theory, regular coverage, regular topos
coherent category, coherent functor, coherent logic, coherent theory, coherent coverage, coherent topos
geometric category, geometric functor, geometric logic, geometric theory
Last revised on April 27, 2011 at 20:32:34. See the history of this page for a list of all contributions to it.