nLab cartesian site

Contents

This entry is about a general class of sites. For the specific site CartSp of cartesian spaces, see there.

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

Last revised on July 18, 2022 at 05:04:01. See the history of this page for a list of all contributions to it.