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

**Seminar on Triples and Categorical Homology Theory**

by

**B. Eckmann**-

**Springer**

This volume concentrates a) on the concept of 'triple' or standard construction with special reference to the associated 'algebras', and b) on homology theories in general categories, based upon triples and simplicial methods.

(

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

(

**11911**views)

**Combinatorics and Algebra of Tensor Calculus**

by

**Sen Hu, Xuexing Lu, Yu Ye**-

**arXiv**

In this paper, we reveal the combinatorial nature of tensor calculus for strict tensor categories and show that there exists a monad which is described by the coarse-graining of graphs and characterizes the algebraic nature of tensor calculus.

(

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

(

**9883**views)