Coherence and non-commutative diagrams in closed categories / Voreadou, Rodiani

Public ISBD Titre : Coherence and non-commutative diagrams in closed categories Type de document : texte imprimé Auteurs : Voreadou, Rodiani Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1977 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 182 Importance : xvi - 93 p. Langues : Anglais Catégories : 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 :18DXX Categories with structure:18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.) 18-XX Category theory; homological algebra :18DXX Categories with structure:18D99 None of the above, but in this section Mots-clés : metamathematics  closed categories Index. décimale : Mem Coherence and non-commutative diagrams in closed categories [texte imprimé] / Voreadou, Rodiani . - Providence, R.I. : American Mathematical Society, 1977 . - xvi - 93 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 182) . Langues : Anglais Catégories : 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 :18DXX Categories with structure:18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.) 18-XX Category theory; homological algebra :18DXX Categories with structure:18D99 None of the above, but in this section Mots-clés : metamathematics  closed categories Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15305	Mem/182	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

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 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. . - 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 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

Exemplaires

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

Topos theory / Peter T. Johnstone

Public ISBD Titre : Topos theory Type de document : texte imprimé Auteurs : Peter T. Johnstone Editeur : Academic Press, Inc. Année de publication : 1977 Collection : London mathematical society monographs num. 10 Importance : xiv - 367p. ISBN/ISSN/EAN : 978-0-12-387850-2 Langues : Anglais Catégories : 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 :18DXX Categories with structure:18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.) 18-XX Category theory; homological algebra :18FXX Categories and geometry:18F20 Presheaves and sheaves 18-XX Category theory; homological algebra :18GXX Homological algebra :18G99 None of the above, but in this section Mots-clés : closed categories  categorical methods in sheaf theory  homological algebra  relations of category theory to logic Index. décimale : 18A Topos theory [texte imprimé] / Peter T. Johnstone . - [S.l.] : Academic Press, Inc., 1977 . - xiv - 367p.. - (London mathematical society monographs; 10) . ISBN : 978-0-12-387850-2 Langues : Anglais Catégories : 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 :18DXX Categories with structure:18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.) 18-XX Category theory; homological algebra :18FXX Categories and geometry:18F20 Presheaves and sheaves 18-XX Category theory; homological algebra :18GXX Homological algebra :18G99 None of the above, but in this section Mots-clés : closed categories  categorical methods in sheaf theory  homological algebra  relations of category theory to logic Index. décimale : 18A

Exemplaires

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

---

page 1/1