nLab standard site

Contents

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 site is called a standard site if

  1. the underlying category is a finitely complete category;

  2. its coverage is a subcanonical coverage.

Properties

Every sheaf topos has a standard site of definition. See site for more details.

References

C2.1.11 in

Last revised on April 27, 2011 at 20:11:05. See the history of this page for a list of all contributions to it.