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

**Mixed Motives**

by

**Marc Levine**-

**American Mathematical Society**

This book combines foundational constructions in the theory of motives and results relating motivic cohomology to more explicit constructions. Prerequisite for understanding the work is a basic background in algebraic geometry.

(

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

(

**3159**views)

**Banach Modules and Functors on Categories of Banach Spaces**

by

**J. Cigler, V. Losert, P.W. Michor**-

**Marcel Dekker Inc**

This book is the final outgrowth of a sequence of seminars about functors on categories of Banach spaces (held 1971 - 1975) and several doctoral dissertations. It has been written for readers with a general background in functional analysis.

(

**9090**views)

**Category Theory for Programmers**

by

**Bartosz Milewski**-

**unglue.it**

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.

(

**5044**views)