A subtopos is a Grothendieck topos embedded by a geometric embedding, considered up to equivalence over the ambient topos. On a site , subtoposes correspond to Grothendieck topologies . On a classifying topos this is the duality between geometric quotients and subtoposes.
Articles by others on the same topic
There are currently no matching articles.