nLab
subtopos
Context
Topos Theory
topos theory
Background
Toposes
Internal Logic
Topos morphisms
Cohomology and homotopy
In higher category theory
Theorems
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
(89.204.137.240)