Categories, types, and structures / Asperti, Andrea

Public ISBD Titre : Categories, types, and structures : an introduction to category theory for the working computer scientist Type de document : texte imprimé Auteurs : Asperti, Andrea ; Longo, Giuseppe Editeur : Cambridge, MA : The Mit Press Année de publication : 1991 Collection : MIT Press Series in the Foundations of Computing Importance : vii, 293 p. ISBN/ISSN/EAN : 978-0-262-01125-9 Note générale : Copie Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : functor  natural transformations  recursive domain equations  second-order lambda calculus  typed lambda calculus  monads  categories  linear logic Index. décimale : 18A Categories, types, and structures : an introduction to category theory for the working computer scientist [texte imprimé] / Asperti, Andrea ; Longo, Giuseppe . - Cambridge, MA : The Mit Press, 1991 . - vii, 293 p.. - (MIT Press Series in the Foundations of Computing) . ISBN : 978-0-262-01125-9 Copie Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : functor  natural transformations  recursive domain equations  second-order lambda calculus  typed lambda calculus  monads  categories  linear logic Index. décimale : 18A

Exemplaires

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

Category Theory for Computing Science / Michael Barr

Public ISBD Titre : Category Theory for Computing Science Type de document : texte imprimé Auteurs : Michael Barr ; Charles Wells Editeur : Montreal : CRM Montreal Année de publication : 1999 Importance : xvii - 526 p. ISBN/ISSN/EAN : 978-2-921120-31-9 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing Mots-clés : examples from and applications to computing science  toposes  functors  categories Index. décimale : 18C Monographie Category Theory for Computing Science [texte imprimé] / Michael Barr ; Charles Wells . - Montreal : CRM Montreal, 1999 . - xvii - 526 p. ISBN : 978-2-921120-31-9 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing Mots-clés : examples from and applications to computing science  toposes  functors  categories Index. décimale : 18C Monographie

Exemplaires

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

Conceptual mathematics / Francis William Lawvere

Public ISBD Titre : Conceptual mathematics : a first introduction to categories Type de document : texte imprimé Auteurs : Francis William Lawvere, Auteur ; Stephen H. Schanuel, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : 2009 Importance : xii, 390 p. Présentation : fig. Format : 26 cm ISBN/ISSN/EAN : 978-0-521-89485-2 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.) Mots-clés : category theory  mathematical logic Index. décimale : 18C Monographie Conceptual mathematics : a first introduction to categories [texte imprimé] / Francis William Lawvere, Auteur ; Stephen H. Schanuel, Auteur . - Cambridge : Cambridge University Press, 2009 . - xii, 390 p. : fig. ; 26 cm. ISBN : 978-0-521-89485-2 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.) Mots-clés : category theory  mathematical logic Index. décimale : 18C Monographie

Exemplaires

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

a Course in homological algebra / Hilton, Peter J.

Public ISBD Titre : a Course in homological algebra Type de document : texte imprimé Auteurs : Hilton, Peter J. ; U. Stammbach Editeur : New York, NY : Springer Année de publication : 1971 Collection : Graduate Texts in Mathematics num. 04 Importance : ix - 338 p. ISBN/ISSN/EAN : 978-3-540-90033-7 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18GXX Homological algebra Mots-clés : theorie des categories  algebre homologique  category theory  homological algebra Index. décimale : 18C Monographie a Course in homological algebra [texte imprimé] / Hilton, Peter J. ; U. Stammbach . - New York, NY : Springer, 1971 . - ix - 338 p.. - (Graduate Texts in Mathematics; 04) . ISBN : 978-3-540-90033-7 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18GXX Homological algebra Mots-clés : theorie des categories  algebre homologique  category theory  homological algebra Index. décimale : 18C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
2250	18C08	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Disponible
2249	18C08	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Disponible
2251	18C08	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Exclu du prêt

a First course of homological algebra / Douglas G. Northcott

Public ISBD Titre : a First course of homological algebra Type de document : texte imprimé Auteurs : Douglas G. Northcott Editeur : Cambridge : Cambridge University Press Année de publication : 1973 Importance : xi - 206 p. ISBN/ISSN/EAN : 978-0-521-20196-4 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18GXX Homological algebra Mots-clés : matrix ring  polynomial ring  local homological algebra  duality  ext-functor  ker-coker sequence  derived functor  hom functor Index. décimale : 18C Monographie a First course of homological algebra [texte imprimé] / Douglas G. Northcott . - Cambridge : Cambridge University Press, 1973 . - xi - 206 p. ISBN : 978-0-521-20196-4 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18GXX Homological algebra Mots-clés : matrix ring  polynomial ring  local homological algebra  duality  ext-functor  ker-coker sequence  derived functor  hom functor Index. décimale : 18C Monographie

Exemplaires

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

Homology / Saunders Mac Lane

Permalink

Homology / Saunders Mac Lane

Permalink

Introduction to homotopy theory / Paul Selick

Permalink

Introduction to some methods of algebraic k-theory / Bass, H.

Permalink

Kategorien 1 / Schubert, H.

Permalink

Kategorien 2 / Schubert, H.

Permalink

le Langage des catégories / Hilton, Peter J.

Permalink

Lectures in homological algebra / Hilton, Peter J.

Permalink

Lectures on algebraic geometry. Vol. I / Günter Harder

Permalink

Notes on homological algebras / Rotman, Joseph J.

Permalink

---

page /3