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

**Categories and Homological Algebra**

by

**Pierre Schapira**-

**UPMC**

These notes introduce the language of categories and present the basic notions of homological algebra, first from an elementary point of view, next with a more sophisticated approach, with the introduction of triangulated and derived categories.

(

**5678**views)

**Category Theory Lecture Notes**

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.

(

**7460**views)

**Basic Concepts of Enriched Category Theory**

by

**Max Kelly**-

**Cambridge University Press**

The book presents a selfcontained account of basic category theory, assuming as prior knowledge only the most elementary categorical concepts. It is designed to supply a connected account of the theory, or at least of a substantial part of it.

(

**8765**views)

**Higher Operads, Higher Categories**

by

**Tom Leinster**-

**arXiv**

Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from topology, quantum algebra, mathematical physics, logic, and computer science.

(

**7847**views)