Locally cartesian closed categories without chosen constructions. Palmgren, Erik — 2008 Theory and Applications of Categories [electronic only]