Locally cartesian closed categories without chosen constructions.
Theory and Applications of Categories [electronic only] (2008)
- Volume: 20, page 5-17
- ISSN: 1201-561X
Access Full Article
topHow to cite
topPalmgren, Erik. "Locally cartesian closed categories without chosen constructions.." Theory and Applications of Categories [electronic only] 20 (2008): 5-17. <http://eudml.org/doc/129995>.
@article{Palmgren2008,
author = {Palmgren, Erik},
journal = {Theory and Applications of Categories [electronic only]},
language = {eng},
pages = {5-17},
publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},
title = {Locally cartesian closed categories without chosen constructions.},
url = {http://eudml.org/doc/129995},
volume = {20},
year = {2008},
}
TY - JOUR
AU - Palmgren, Erik
TI - Locally cartesian closed categories without chosen constructions.
JO - Theory and Applications of Categories [electronic only]
PY - 2008
PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville
VL - 20
SP - 5
EP - 17
LA - eng
UR - http://eudml.org/doc/129995
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.