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

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

(

**11896**views)

**Categories, Types, and Structures**

by

**Andrea Asperti, Giuseppe Longo**-

**MIT Press**

Here is an introduction to category theory for the working computer scientist. It is a self-contained introduction to general category theory and the mathematical structures that constitute the theoretical background.

(

**10787**views)

**Functors and Categories of Banach Spaces**

by

**Peter W. Michor**-

**Springer**

The aim of this book is to develop the theory of Banach operator ideals and metric tensor products along categorical lines: these two classes of mathematical objects are endofunctors on the category Ban of all Banach spaces in a natural way.

(

**5181**views)

**Basic Category Theory**

by

**Tom Leinster**-

**arXiv**

This introduction to category theory is for readers with relatively little mathematical background. At its heart is the concept of a universal property, important throughout mathematics. For each new concept a generous supply of examples is provided.

(

**1360**views)