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

**An Introduction to Category Theory in Four Easy Movements**

by

**A. Schalk, H. Simmons**-

**Manchester University**

Notes for a course offered as part of the MSc. in Mathematical Logic. From the table of contents: Development and exercises; Functors and natural transformations; Limits and colimits, a universal solution; Cartesian closed categories.

(

**8107**views)

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

(

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

(

**5877**views)

**Categorical Homotopy Theory**

by

**Emily Riehl**-

**Cambridge University Press**

This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Emily Riehl discusses two competing perspectives by which one typically first encounters homotopy (co)limits ...

(

**669**views)