Welcome to E-Books Directory
This is a freely downloadable e-book.

Category Theory and Functional Programming

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.

Home page url

 Download or read it online here:

Download link

 (410KB, PDF)