Logo

Category Theory for Programmers

Small book cover: Category Theory for Programmers

Category Theory for Programmers
by

Publisher: unglue.it
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.

Home page url

Download or read it online for free here:
Download link
(12MB, PDF)

Similar books

Book cover: Seven Sketches in Compositionality: An Invitation to Applied Category TheorySeven Sketches in Compositionality: An Invitation to Applied Category Theory
by - arXiv.org
This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. The tour takes place over seven sketches, such as databases, electric circuits, etc, with the exploration of a categorical structure.
(1796 views)
Book cover: A Gentle Introduction to Category Theory: the calculational approachA Gentle Introduction to Category Theory: the calculational approach
by - University of Twente
These notes present the important notions from category theory. The intention is to provide a fairly good skill in manipulating with those concepts formally. This text introduces category theory in the calculational style of the proofs.
(14246 views)
Book cover: Higher Topos TheoryHigher Topos Theory
by - Princeton University Press
Jacob Lurie presents the foundations of higher category theory, using the language of weak Kan complexes, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.
(7860 views)
Book cover: Model Categories and Simplicial MethodsModel Categories and Simplicial Methods
by - Northwestern University
There are many ways to present model categories, each with a different point of view. Here we would like to treat model categories as a way to build and control resolutions. We are going to emphasize the analog of projective resolutions.
(6214 views)