/
User Settings
Open AccessArticle10.70930/tac/oxhhq2eg

Locally cartesian closed categories without chosen constructions

Erik Palmgren-2008-01-01-Theory and applications of categories
2PDF

TL;DRAbstract

We show how to formulate the notion of locally cartesian closed category without chosen pullbacks, by the use of Makkai's theory of anafunctors.

Chat with Paper

AI Agents for this Paper

We show how to formulate the notion of locally cartesian closed category without chosen pullbacks, by the use of Makkai's theory of anafunctors.

Keywords

Cartesian closed categoryCartesian coordinate systemMathematicsCartesian productComputer scienceAlgebra over a fieldPure mathematicsDiscrete mathematics

Chat

Click to start Chat