Partial toposes.

Bénabou, Jean, and Streicher, Thomas. "Partial toposes.." Theory and Applications of Categories [electronic only] 11 (2003): 309-320. <http://eudml.org/doc/123081>.

@article{Bénabou2003,
author = {Bénabou, Jean, Streicher, Thomas},
journal = {Theory and Applications of Categories [electronic only]},
keywords = {fibred categories; partial toposes; partial locally Cartesian closed category; local topos},
language = {eng},
pages = {309-320},
publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},
title = {Partial toposes.},
url = {http://eudml.org/doc/123081},
volume = {11},
year = {2003},
}

TY - JOUR
AU - Bénabou, Jean
AU - Streicher, Thomas
TI - Partial toposes.
JO - Theory and Applications of Categories [electronic only]
PY - 2003
PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville
VL - 11
SP - 309
EP - 320
LA - eng
KW - fibred categories; partial toposes; partial locally Cartesian closed category; local topos
UR - http://eudml.org/doc/123081
ER -