Invitation to Applied Category Theory: Seven Sketches in Compositionality

Category theory is a powerful tool that organizes and layers abstractions, finds commonalities between structures, and is being applied in science, informatics, and industry. This book offers a self-contained tour of applied category theory, introducing relevant category theory in an accessible way with examples and exercises.

Format: Paperback / softback
Length: 348 pages
Publication date: 18 July 2019
Publisher: Cambridge University Press

Category theory is an unparalleled tool for organizing and layering abstractions, revealing commonalities between structures of all kinds. It has transcended its traditional domain of pure mathematics and is now proving its worth in science, informatics, and industry. Applied category theory has the potential to be a transformative force by facilitating communication between communities and creating rigorous bridges between disparate fields. This book serves as a comprehensive self-contained tour of applied category theory. Each chapter follows a single thread driven by a real-world application and explored through category-theoretic tools. We examine data migration as an adjoint functor, electrical circuits through the lens of monoidal categories and operads, and collaborative design through enriched profunctors. The relevant category theory, ranging from simple to sophisticated, is introduced in an accessible manner with numerous examples and exercises, making it an ideal guide for individuals without prior university-level mathematics experience.

Category theory is an unparalleled tool for organizing and layering abstractions, revealing commonalities between structures of all kinds. It has transcended its traditional domain of pure mathematics and is now proving its worth in science, informatics, and industry. Applied category theory has the potential to be a transformative force by facilitating communication between communities and creating rigorous bridges between disparate fields. This book serves as a comprehensive self-contained tour of applied category theory. Each chapter follows a single thread driven by a real-world application and explored through category-theoretic tools. We examine data migration as an adjoint functor, electrical circuits through the lens of monoidal categories and operads, and collaborative design through enriched profunctors. The relevant category theory, ranging from simple to sophisticated, is introduced in an accessible manner with numerous examples and exercises, making it an ideal guide for individuals without prior university-level mathematics experience.

Weight: 684g
Dimension: 242 x 188 x 17 (mm)
ISBN-13: 9781108711821