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.
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
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309