**Category Theory for the Sciences**

by David I. Spivak

**Publisher**: The MIT Press 2014**ISBN-13**: 9780262320511**Number of pages**: 496

**Description**:

This book shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences. Written in an engaging and straightforward style, and assuming little background in mathematics, the book is rigorous but accessible to non-mathematicians.

Download or read it online for free here:

**Read online**

(online html)

## Similar books

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

(

**2430**views)

**Abelian Categories: an Introduction to the Theory of Functors**

by

**Peter Freyd**-

**Harper and Row**

From the table of contents: Fundamentals (Contravariant functors and dual categories); Fundamentals of Abelian categories; Special functors and subcategories; Metatheorems; Functor categories; Injective envelopes; Embedding theorems.

(

**7797**views)

**Higher-Dimensional Categories: an illustrated guide book**

by

**Eugenia Cheng, Aaron Lauda**-

**University of Sheffield**

This work gives an explanatory introduction to various definitions of higher-dimensional category. The emphasis is on ideas rather than formalities; the aim is to shed light on the formalities by emphasizing the intuitions that lead there.

(

**8412**views)

**Computational Category Theory**

by

**D.E. Rydeheard, R.M. Burstall**

The book is a bridge-building exercise between computer programming and category theory. Basic constructions of category theory are expressed as computer programs. It is a first attempt at connecting the abstract mathematics with concrete programs.

(

**13164**views)