Book contents
- Frontmatter
- Dedication
- Contents
- 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
Contents
Published online by Cambridge University Press: 05 July 2019
- Frontmatter
- Dedication
- Contents
- 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
Summary
- Type
- Chapter
- Information
- An Invitation to Applied Category TheorySeven Sketches in Compositionality, pp. vii - viiiPublisher: Cambridge University PressPrint publication year: 2019