cartesian site

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.

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