**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 Lecture Notes**

by

**Daniele Turi**-

**University of Edinburgh**

These notes were written for a course in category theory. The course was designed to be self-contained, drawing most of the examples from category theory itself. It was intended for post-graduate students in theoretical computer science.

(

**7959**views)

**Category Theory for Computing Science**

by

**Michael Barr, Charles Wells**-

**Prentice Hall**

This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions basic to category theory in the context of applications to computing science.

(

**5815**views)

**Model Categories and Simplicial Methods**

by

**Paul Goerss, Kristen Schemmerhorn**-

**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.

(

**6692**views)

**Abstract and Concrete Categories: The Joy of Cats**

by

**Jiri Adamek, Horst Herrlich, George Strecker**-

**John Wiley & Sons**

A modern introduction to the theory of structures via the language of category theory, the emphasis is on concrete categories. The first five chapters present the basic theory, while the last two contain more recent research results.

(

**14280**views)