This entry is about a general class of sites. For the specific site

CartSpof cartesian spaces, see there.

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.

The syntactic site of any theory is a cartesian site.

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