Category Theory for Programmers
by Bartosz Milewski
Publisher: unglue.it 2017
Number of pages: 510
Category theory is the kind of math that is particularly well suited for the minds of programmers. It deals with the kind of structure that makes programs composable. And I will argue strongly that composition is the essence of programming. I will illustrate all major concepts using computer code.
Home page url
Download or read it online for free here:
by Takahiro Kato - viXra.org
Modules and morphisms among them subsume categories and functors and provide more general framework to explore the theory of structures. In this book we generalize the basic notions and results of category theory using this framework of modules.
by Michael Barr, Charles Wells
Categories originally arose in mathematics out of the need of a formalism to describe the passage from one type of mathematical structure to another. These notes form a short summary of some major topics in category theory.
by David I. Spivak - The MIT Press
This book shows that category theory can be useful outside of mathematics as a flexible modeling language throughout the sciences. Written in an engaging and straightforward style, the book is rigorous but accessible to non-mathematicians.
by Eugenia Cheng, Aaron Lauda - University of Sheffield
This work gives an explanatory introduction to various definitions of higher-dimensional category. The emphasis is on ideas rather than formalities; the aim is to shed light on the formalities by emphasizing the intuitions that lead there.