In mathematics, a coherent topos is a
topos
In mathematics, a topos (, ; plural topoi or , or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally: on a site). Topoi behave much like the category of sets and possess a notion ...
generated by a collection of quasi-compact quasi-separated objects closed under finite products.
[Jacob Lurie]
Categorical Logic (278x)
Lecture 11. Definition 6.
See also
*
spectral space In mathematics, a spectral space is a topological space that is homeomorphic to the spectrum of a commutative ring. It is sometimes also called a coherent space because of the connection to coherent topos.
Definition
Let ''X'' be a topological ...
References
External links
*https://ncatlab.org/nlab/show/coherent+topos
{{math-stub
Topos theory