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.

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

Section D3.3 of

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