nLab
subtopos

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

For EE a topos, a subtopos is another topos FF equipped with a geometric embedding FEF \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)