An Invitation to Applied Category Theory: Seven Sketches in Compositionality

ISBN-13: 9781108482295 / Angielski / Twarda / 2019 / 348 str.

Brendan Fong; David I. Spivak

Opis

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

Recenzje

'… highly recommended.' Berthold Stoge, IUCr Journals CRYSTALLOGRAPHY JOURNALS ONLINE

Spis treści

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.