# nLab subtopos

### Context

#### Topos Theory

Could not include topos theory - contents

For $E$ a topos, a subtopos is another topos $F$ equipped with a geometric embedding $F \hookrightarrow E$.

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)