Cohomology and homotopy
In higher category theory
For a topos, a subtopos is another topos equipped with a geometric embedding .
If this is an open geometric morphism one speaks of an open subtopos.
Revised on January 6, 2012 11:08:32
by Urs Schreiber