Brendan Fong, David I. Spivak

An Invitation to Applied Category Theory

• Gebundenes Buch

Produktbeschreibung

Category theory reveals commonalities between structures of all sorts. This book shows its potential in science, engineering, and beyond.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 352
• Erscheinungstermin: 18. Juli 2019
• Englisch
• Abmessung: 250mm x 175mm x 23mm
• Gewicht: 789g
• ISBN-13: 9781108482295
• ISBN-10: 1108482295
• Artikelnr.: 55173948

Autorenporträt

Brendan Fong is a postdoctoral associate in the Department of Mathematics at the Massachusetts Institute of Technology. His research explores how we use pictures to represent and reason about the systems around us, and how to understand the world from a relational point of view. These topics find their intersection in applied category theory.

Inhaltsangabe

Preface
1. Generative effects: orders and Galois connections
2. Resource theories: monoidal preorders and enrichment
3. Databases: categories, functors, and universal constructions
4. Collaborative design: profunctors, categorification, and monoidal categories
5. Signal flow graphs: props, presentations, and proofs
6. Electric circuits: hypergraph categories and operads
7. Logic of behavior: sheaves, toposes, and internal languages
Appendix. Exercise solutions
References
Index.

---

Preface; 1. Generative effects: orders and Galois connections; 2. Resource theories: monoidal preorders and enrichment; 3. Databases: categories, functors, and universal constructions; 4. Collaborative design: profunctors, categorification, and monoidal categories; 5. Signal flow graphs: props, presentations, and proofs; 6. Electric circuits: hypergraph categories and operads; 7. Logic of behavior: sheaves, toposes, and internal languages; Appendix. Exercise solutions; References; Index.

Rezensionen

'Category theory was always applied, but traditionally within pure mathematics. Now it is being used to clarify and synthesize a broad range of topics outside mathematics: from computer science to linguistics, from quantum theory to chemistry, and beyond. Charmingly informal yet crystal clear, Fong and Spivak's book does a wonderful job of demonstrating the power of category theory to beginners - even beginners without much background in pure mathematics.' John Baez, University of California, Riverside