Could not include topos theory - contents
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