Category Theory is unequaled in its capacity to arrange and layer abstractions and uncover commonalities across structures of all types. It is now proven to be a potent instrument in research, informatics, and industry, no longer the sole domain of pure mathematicians.
Applied category theory has the potential to be a major organizing force by promoting communication between groups and creating rigorous bridges between different realities.
This book provides a comprehensive introduction to applied category theory. Each chapter is organized around a particular theme that is driven by a practical application and is analyzed using category-theoretic techniques.
Electrical circuits are viewed as monoidal categories and operads, data migration as an adjoint functor, and collaborative design as enriched profunctors. This book is the perfect resource even for people without previous expertise in college-level mathematics because it introduces all-important category theory, from basic to complex, in an approachable manner with numerous examples and exercises.