Documents disponibles dans la collection

Relative category theory and geometric morphisms, a logical approach / Chapman, J.

Public ISBD Titre : Relative category theory and geometric morphisms, a logical approach Type de document : texte imprimé Auteurs : Chapman, J. ; Rowbottom, F. Editeur : Oxford : Clarendon Press Année de publication : 1992 Collection : Oxford logic guides num. 016 Importance : xi - 263 p. ISBN/ISSN/EAN : 978-0-19-853434-1 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 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 :18AXX General theory of categories and functors:18A15 Foundations, relations to logic and deductive systems 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : indexed categories over a topos  local set theory  internal categories  geometric morphisms  mitchell-benabou language  formal language  topos Index. décimale : 18A Relative category theory and geometric morphisms, a logical approach [texte imprimé] / Chapman, J. ; Rowbottom, F. . - Clarendon Press, 1992 . - xi - 263 p.. - (Oxford logic guides; 016) . ISBN : 978-0-19-853434-1 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 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 :18AXX General theory of categories and functors:18A15 Foundations, relations to logic and deductive systems 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : indexed categories over a topos  local set theory  internal categories  geometric morphisms  mitchell-benabou language  formal language  topos Index. décimale : 18A

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
8824	18A59	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Disponible