nLab
standard site

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

Revised on April 27, 2011 20:11:05 by Toby Bartels (64.89.61.127)