# nLab coherent topos

### Context

#### Topos Theory

Could not include topos theory - contents

# 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

###### Theorem

Deligne completeness theorem

Every coherent topos has enough points.

## References

Section D3.3 of

Revised on June 2, 2014 22:58:41 by Urs Schreiber (82.113.106.149)