Titre :	Toposes, triples and theories
Type de document :	texte imprimé
Auteurs :	Barr, M. ; Wells, C.
Editeur :	Springer-Verlag
Année de publication :	1985
Collection :	Grundlehren der mathematischen Wissenschaften num. 278
Importance :	xii - 345 p.
ISBN/ISSN/EAN :	978-0-387-96115-6
Langues :	Anglais
Catégories :	03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18-02 Research exposition (monographs, survey articles) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi
Mots-clés :	sheaf categories  logical functor  finite colimits  theoretical computer science  sketches  internal logic  theories  triples  toposes
Index. décimale :	18A

Toposes, triples and theories [texte imprimé] / Barr, M. ; Wells, C. . - [S.l.] : Springer-Verlag, 1985 . - xii - 345 p.. - (Grundlehren der mathematischen Wissenschaften; 278) .
ISBN : 978-0-387-96115-6
Langues : Anglais

Catégories :	03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18-02 Research exposition (monographs, survey articles) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi
Mots-clés :	sheaf categories  logical functor  finite colimits  theoretical computer science  sketches  internal logic  theories  triples  toposes
Index. décimale :	18A