2 résultat(s) recherche sur le mot-clé 'toposes'

Toposes, triples and theories / Barr, M.

Public ISBD Titre : Toposes, triples and theories Type de document : texte imprimé Auteurs : Barr, M. ; Wells, C. Editeur : Springer-Verlag Année de publication : 1985 Collection : Grundlehren der mathematischen Wissenschaften num. 278 Importance : xii - 345 p. ISBN/ISSN/EAN : 978-0-387-96115-6 Langues : Anglais Catégories : 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 :18BXX Special categories:18B25 Topoi Mots-clés : sheaf categories  logical functor  finite colimits  theoretical computer science  sketches  internal logic  theories  triples  toposes Index. décimale : 18A Toposes, triples and theories [texte imprimé] / Barr, M. ; Wells, C. . - [S.l.] : Springer-Verlag, 1985 . - xii - 345 p.. - (Grundlehren der mathematischen Wissenschaften; 278) . ISBN : 978-0-387-96115-6 Langues : Anglais Catégories : 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 :18BXX Special categories:18B25 Topoi Mots-clés : sheaf categories  logical functor  finite colimits  theoretical computer science  sketches  internal logic  theories  triples  toposes Index. décimale : 18A

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4529	18A54	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