nLab
cartesian 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

Defintion

A cartesian site is a site whose underlying category is finitely complete (which the Elephant calls a cartesian category).

Cartesian sites play a central role in the construction of classifying topos.

Examples

The syntactic site of any theory is a cartesian site.

References

Revised on April 27, 2011 20:43:59 by Toby Bartels (64.89.61.127)