Titre :	Handbook of Categorical Algebra 3: Categories of Sheaves
Type de document :	texte imprimé
Auteurs :	Borceux, Francis
Editeur :	Cambridge : Cambridge University Press
Année de publication :	1994
Collection :	Encyclopedia of Mathematics and Its Applications num. 52
Importance :	xvii - 522 p.
ISBN/ISSN/EAN :	978-0-521-44180-3
Note générale :	commande Djament
Langues :	Anglais
Catégories :	03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi
Mots-clés :	internal logic of toposes  classifying topos for coherent theories  grothendieck toposes  locales  categories of sheaves

Handbook of Categorical Algebra 3: Categories of Sheaves [texte imprimé] / Borceux, Francis . - Cambridge : Cambridge University Press, 1994 . - xvii - 522 p.. - (Encyclopedia of Mathematics and Its Applications; 52) .
ISBN : 978-0-521-44180-3
commande Djament
Langues : Anglais

Catégories :	03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi
Mots-clés :	internal logic of toposes  classifying topos for coherent theories  grothendieck toposes  locales  categories of sheaves