Category Theory for Programmers
by Bartosz Milewski
Publisher: unglue.it 2017
Number of pages: 510
Description:
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.
Download or read it online for free here:
Download link
(12MB, PDF)
Similar books
Category Theory: A Gentle Introductionby Peter Smith - Logic Matters
I hope that what is here may prove useful to others starting to get to grips with category theory. This text is intended to be relatively accessible; in particular, it presupposes rather less mathematical background than some texts on categories.
(8116 views)
Category Theory and Functional Programmingby Mikael Vejdemo-Johansson - University of St. Andrews
An introduction to category theory that ties into Haskell and functional programming as a source of applications. Topics: definition of categories, special objects and morphisms, functors, natural transformation, (co-)limits and special cases, etc.
(13041 views)
Category Theory Lecture Notesby 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.
(12276 views)
Category Theory in Contextby Emily Riehl - Dover Publications
This is a concise, original text for a one-semester introduction to the subject. The treatment introduces the essential concepts of category theory: categories, functors, natural transformations, the Yoneda lemma, limits and colimits, monads, etc.
(6694 views)