#
nLab

subtopos

### Context

#### Topos Theory

**topos theory**

## Background

## Toposes

## Internal Logic

## Topos morphisms

## Cohomology and homotopy

## In higher category theory

## Theorems

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)