%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