**Category Theory and Functional Programming**

by Mikael Vejdemo-Johansson

**Publisher**: University of St. Andrews 2012**Number of pages**: 99

**Description**:

This text is intended to provide an introduction to Category Theory that ties into Haskell and functional programming as a source of examples and applications. Topics covered: The definition of categories, special objects and morphisms, functors, natural transformation, (co-)limits and special cases of these, adjunctions, freeness and presentations as categorical constructs, monads and Kleisli arrows, recursion with categorical constructs.

Download or read it online for free here:

**Read online**

(online html)

## Similar books

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

(

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

(

**6552**views)

**Notes on Categories and Groupoids**

by

**P. J. Higgins**-

**Van Nostrand Reinhold**

A self-contained account of the elementary theory of groupoids and some of its uses in group theory and topology. Category theory appears as a secondary topic whenever it is relevant to the main issue, and its treatment is by no means systematic.

(

**8829**views)

**Category Theory for Scientists**

by

**David I. Spivak**-

**arXiv**

We attempt to show that category theory can be applied throughout the sciences as a framework for modeling phenomena and communicating results. In order to target the scientific audience, this book is example-based rather than proof-based.

(

**4298**views)