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.
New to topics? Read the docs here!