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