Conceptual mathematics : a first introduction to categories [ Livre] / Lawvere F. William ; Schanuel Stephen H.
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Cambridge University Press, 1997, CambridgeDescription : 358 p. ; ill. ; 26 cmISBN: 0521478170.Classification: F 4 1 Logique mathématiqueRésumé: In the last fifty years, the use of the notion of 'category' has led to a remarkable unification and simplification of mathematics. Written by two of the best known participants in this development, Conceptual Mathematics is the first book to serve as a skeleton key to mathematics for the general reader or beginning student and as an introduction to categories for computer scientists, logicians, physicists, linguists etc. While the ideas and techniques of basic category theory are useful throughout modern mathematics, this book does not presuppose knowledge of specific fields but rather develops elementary categories such as directed graphs and discrete dynamical systems from the beginning. The fundamental ideas are then illuminated in an engaging way by examples in these categories..Sujet - Nom commun: Logique symbolique et mathématique | Catégories (mathématiques)| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | F 4 1 LAW (Browse shelf) | Available | F 4 1 Logique mathématique | 00007578 |
In the last fifty years, the use of the notion of 'category' has led to a remarkable unification and simplification of mathematics. Written by two of the best known participants in this development, Conceptual Mathematics is the first book to serve as a skeleton key to mathematics for the general reader or beginning student and as an introduction to categories for computer scientists, logicians, physicists, linguists etc. While the ideas and techniques of basic category theory are useful throughout modern mathematics, this book does not presuppose knowledge of specific fields but rather develops elementary categories such as directed graphs and discrete dynamical systems from the beginning. The fundamental ideas are then illuminated in an engaging way by examples in these categories.