nLab
coherent topos

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Definition

A coherent topos is a sheaf topos with a site of definition that is a coherent category with coherent coverage.

Notice that the terminology is slightly confusing: every topos is a coherent category.

Properties

Proposition

Every coherent topos has enough points.

Examples

References

Section D3.3 of

Revised on August 18, 2011 02:46:42 by Urs Schreiber (194.81.173.201)