nLab
cartesian category

Context

Category theory

Concepts

Universal constructions

    • /

    • /

Theorems

Extensions

Applications

The term cartesian category can mean either of

The first of these is the traditional meaning, while the second is advocated in the Elephant. It is probably best to avoid the ambiguous term.

Compare locally cartesian category, which is unambiguous. (There is also some discussion of the issue there.)

Last revised on April 27, 2011 at 20:49:06. See the history of this page for a list of all contributions to it.