Practical foundations of mathematics / Taylor, Paul

Public ISBD Titre : Practical foundations of mathematics Type de document : texte imprimé Auteurs : Taylor, Paul Editeur : Cambridge : Cambridge University Press Année de publication : 2000 Collection : Cambridge Studies in Advanced Mathematics. num. 59 Importance : xi - 572 p. ISBN/ISSN/EAN : 978-0-521-63107-5 Langues : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A35 Methodology of mathematics, didactics 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : adjunction between syntax and semantics  syntactic category of a theory  structural recursion  lattices  posets  category theory  foundations of mathematics Index. décimale : 18A Practical foundations of mathematics [texte imprimé] / Taylor, Paul . - Cambridge : Cambridge University Press, 2000 . - xi - 572 p.. - (Cambridge Studies in Advanced Mathematics.; 59) . ISBN : 978-0-521-63107-5 Langues : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A35 Methodology of mathematics, didactics 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : adjunction between syntax and semantics  syntactic category of a theory  structural recursion  lattices  posets  category theory  foundations of mathematics Index. décimale : 18A

Exemplaires

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

Relative homological algebra / Edgar E. Enochs

Public ISBD Titre : Relative homological algebra Type de document : texte imprimé Auteurs : Edgar E. Enochs, Auteur ; Overtoun M.G. Jenda, Auteur Editeur : Walter de Gruyter Année de publication : 2000 Collection : de Gruyter Expositions in Mathematics, ISSN 0938-6572 num. 30 Importance : xi, 339 p. Format : 25 cm ISBN/ISSN/EAN : 978-3-11-016633-0 Langues : Anglais Catégories : 13-XX Commutative rings and algebras:13-02 Research exposition (monographs, survey articles) 13-XX Commutative rings and algebras:13DXX Homological methods :13D03 (Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : injective modules  flat modules  duality  covering modules  envelopes  Gorenstein modules  Cohen-Macaulay rings  resolutions  derived functors  relative homological algebra Index. décimale : 13C Monographie Relative homological algebra [texte imprimé] / Edgar E. Enochs, Auteur ; Overtoun M.G. Jenda, Auteur . - [S.l.] : Walter de Gruyter, 2000 . - xi, 339 p. ; 25 cm. - (de Gruyter Expositions in Mathematics, ISSN 0938-6572; 30) . ISBN : 978-3-11-016633-0 Langues : Anglais Catégories : 13-XX Commutative rings and algebras:13-02 Research exposition (monographs, survey articles) 13-XX Commutative rings and algebras:13DXX Homological methods :13D03 (Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : injective modules  flat modules  duality  covering modules  envelopes  Gorenstein modules  Cohen-Macaulay rings  resolutions  derived functors  relative homological algebra Index. décimale : 13C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18237	13C65	imprimé / autre	CRDM	13/ANNEAUX ET ALGEBRES COMMUTATIFS	Disponible

Sets for mathematics / F.William Lawvere

Public ISBD Titre : Sets for mathematics Type de document : texte imprimé Auteurs : F.William Lawvere, Auteur ; Robert Rosebrugh, Auteur Editeur : Cambridge University Press Année de publication : 2003 Importance : xi - 261 p. ISBN/ISSN/EAN : 978-0-521-01060-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E20 Other classical set theory (including functions, relations, and set algebra) 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : axiomatization of category of sets Index. décimale : 18C Monographie Sets for mathematics [texte imprimé] / F.William Lawvere, Auteur ; Robert Rosebrugh, Auteur . - [S.l.] : Cambridge University Press, 2003 . - xi - 261 p. ISBN : 978-0-521-01060-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E20 Other classical set theory (including functions, relations, and set algebra) 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : axiomatization of category of sets Index. décimale : 18C Monographie

Exemplaires

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

Sheaf theory / B. R. Tennison

Public ISBD Titre : Sheaf theory Type de document : texte imprimé Auteurs : B. R. Tennison Editeur : Cambridge University Press Année de publication : 1975 Collection : London Mathematical Society Lecture Note Series. num. 20 Importance : viii - 164p. ISBN/ISSN/EAN : 978-0-521-20784-3 Langues : Anglais Catégories : 14-XX Algebraic geometry:14FXX (Co)homology theory :14F05 Vector bundles, sheaves, related constructions 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18FXX Categories and geometry:18F20 Presheaves and sheaves 55-XX Algebraic topology:55NXX Homology and cohomology theories :55N30 Sheaf cohomology Mots-clés : sheaves  sheaf cohomology  categorical methods in sheaf theory Index. décimale : 18A Sheaf theory [texte imprimé] / B. R. Tennison . - [S.l.] : Cambridge University Press, 1975 . - viii - 164p.. - (London Mathematical Society Lecture Note Series.; 20) . ISBN : 978-0-521-20784-3 Langues : Anglais Catégories : 14-XX Algebraic geometry:14FXX (Co)homology theory :14F05 Vector bundles, sheaves, related constructions 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18FXX Categories and geometry:18F20 Presheaves and sheaves 55-XX Algebraic topology:55NXX Homology and cohomology theories :55N30 Sheaf cohomology Mots-clés : sheaves  sheaf cohomology  categorical methods in sheaf theory Index. décimale : 18A

Exemplaires

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

Sheaves in geometry and logic / Saunders Mac Lane

Public ISBD Titre : Sheaves in geometry and logic : a first introduction to topos theory Type de document : texte imprimé Auteurs : Saunders Mac Lane ; Moerdijk, I. Editeur : London : Springer Année de publication : 1992 Collection : Universitext Importance : xii - 629 p. ISBN/ISSN/EAN : 978-3-540-97710-0 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : model theory  sheaf theory  elementary topos Index. décimale : 18A Sheaves in geometry and logic : a first introduction to topos theory [texte imprimé] / Saunders Mac Lane ; Moerdijk, I. . - London : Springer, 1992 . - xii - 629 p.. - (Universitext) . ISBN : 978-3-540-97710-0 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : model theory  sheaf theory  elementary topos Index. décimale : 18A

Exemplaires

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

Toposes and local set theories / John Lane Bell

Permalink

---

page /3