#
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)