A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'internal categories'
Affiner la recherche Générer le flux rss de la recherche
Categories for the working mathematician / Saunders Mac Lane
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15624 18A24 imprimé / autre CRDM 18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE Disponible Relative category theory and geometric morphisms, a logical approach / Chapman, J.
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 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 TopoiMots-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. . - Oxford : Clarendon Press, 1992 . - xi - 263 p.. - (Oxford logic guides; 016) .
ISBN : 978-0-19-853434-1
Langues : Anglais
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 TopoiMots-clés : indexed categories over a topos local set theory internal categories geometric morphisms mitchell-benabou language formal language topos Index. décimale : 18A Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 8824 18A59 imprimé / autre CRDM 18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE Disponible