#
nLab

cartesian site

### Context

#### Topos Theory

**topos theory**

## Background

## Toposes

## Internal Logic

## Topos morphisms

## 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