Geodesic
Locally cartesian closed categories without chosen constructions
Theory and applications of categories, Tome 20 (2008), pp. 5-17.

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

We show how to formulate the notion of locally cartesian closed category without chosen pullbacks, by the use of Makkai's theory of anafunctors.
Classification : 18A35, 18A40
Keywords: anafunctor, axiom of choice, adjoint 
@article{TAC_2008_20_a0,
     author = {Erik Palmgren},
     title = {Locally cartesian closed categories without chosen constructions},
     journal = {Theory and applications of categories},
     pages = {5--17},
     publisher = {mathdoc},
     volume = {20},
     year = {2008},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2008_20_a0/}
}
TY  - JOUR
AU  - Erik Palmgren
TI  - Locally cartesian closed categories without chosen constructions
JO  - Theory and applications of categories
PY  - 2008
SP  - 5
EP  - 17
VL  - 20
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2008_20_a0/
LA  - en
ID  - TAC_2008_20_a0
ER  - 
%0 Journal Article
%A Erik Palmgren
%T Locally cartesian closed categories without chosen constructions
%J Theory and applications of categories
%D 2008
%P 5-17
%V 20
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2008_20_a0/
%G en
%F TAC_2008_20_a0
Erik Palmgren. Locally cartesian closed categories without chosen constructions. Theory and applications of categories, Tome 20 (2008), pp. 5-17. http://geodesic.mathdoc.fr/item/TAC_2008_20_a0/