A coherent topos is a sheaf topos with a site of definition that is a coherent category with coherent coverage.
Notice that the terminology is slightly confusing: every topos is a coherent 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
Section D3.3 of
Revision on June 2, 2014 at 22:58:41 by Urs Schreiber See the history of this page for a list of all contributions to it.