A **coherent topos** is a concept from category theory and topos theory, which generalizes the notion of a topological space. To explain coherent toposes, we first need to understand what a *topos* is. A *topos* is a category that behaves like the category of sets and has additional structures that allow for the interpretation of logical propositions and their proofs.
Articles by others on the same topic
There are currently no matching articles.