A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'coherence theorem'
Affiner la recherche Générer le flux rss de la recherche
Basic proof theory / Troelstra, A.
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13412 03C02 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Categories for the working mathematician / Saunders Mac Lane
Titre : Categories for the working mathematician Type de document : texte imprimé Auteurs : Saunders Mac Lane Mention d'édition : 2nd ed. Editeur : New York, NY : Springer Année de publication : 1998 Collection : Graduate Texts in Mathematics num. 05 Importance : xii - 314 p. ISBN/ISSN/EAN : 978-0-387-98403-2 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : foundations topoi bicategories 2-categories internal categories coherence theorem monoidal categories structures in categories Index. décimale : 18A Categories for the working mathematician [texte imprimé] / Saunders Mac Lane . - 2nd ed. . - New York, NY : Springer, 1998 . - xii - 314 p. . - (Graduate Texts in Mathematics; 05) .
ISBN : 978-0-387-98403-2
Langues : Anglais
Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : foundations topoi bicategories 2-categories internal categories coherence theorem monoidal categories structures in categories Index. décimale : 18A Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15624 18A24 imprimé / autre CRDM 18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE Disponible