Introducing String Diagrams: The Art of Category Theory
Autor Ralf Hinze, Dan Marsdenen Limba Engleză Hardback – 9 aug 2023
Preț: 267.17 lei
Preț vechi: 333.96 lei
-20% Nou
Puncte Express: 401
Preț estimativ în valută:
51.13€ • 54.07$ • 42.65£
51.13€ • 54.07$ • 42.65£
Carte disponibilă
Livrare economică 07-21 decembrie
Livrare express 23-29 noiembrie pentru 31.09 lei
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781009317863
ISBN-10: 1009317865
Pagini: 195
Dimensiuni: 252 x 177 x 18 mm
Greutate: 0.51 kg
Editura: Cambridge University Press
Colecția Cambridge University Press
Locul publicării:Cambridge, United Kingdom
ISBN-10: 1009317865
Pagini: 195
Dimensiuni: 252 x 177 x 18 mm
Greutate: 0.51 kg
Editura: Cambridge University Press
Colecția Cambridge University Press
Locul publicării:Cambridge, United Kingdom
Cuprins
Prologue; 1. Category theory; 2. String diagrams; 3. Monads; 4. Adjunctions; 5. Putting it all together; Epilogue; Appendix. Notation; References; Index.
Recenzii
'String diagrams have proven an indispensable tool in modern category theory, enabling intuitive graphical reasoning while doing away with much of the bookkeeping that tends to bog down equational arguments. This textbook introduces category theory by way of string diagrams, making it an excellent choice both for beginners in category theory, as well as for more experienced category theorists seeking to add string diagrammatic reasoning to their repertoire.' Robin Kaarsgaard, University of Edinburgh
'Well-chosen notation plays a vital role in constructive calculation because it facilitates the exploitation of algebraic properties. This book's exemplary use of string diagrams in category theory will inspire and invigorate the calculational method. Peruse and ponder its colourful beauty.' Roland Backhouse, University of Nottingham
'Well-chosen notation plays a vital role in constructive calculation because it facilitates the exploitation of algebraic properties. This book's exemplary use of string diagrams in category theory will inspire and invigorate the calculational method. Peruse and ponder its colourful beauty.' Roland Backhouse, University of Nottingham
Notă biografică
Descriere
The first introductory account of using string diagrams to reason in elementary category theory.