Logo

Category Theory and Functional Programming

Small book cover: Category Theory and Functional Programming

Category Theory and Functional Programming
by

Publisher: University of St. Andrews
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 for free here:
Read online
(online html)

Similar books

Book cover: Model Categories and Simplicial MethodsModel Categories and Simplicial Methods
by - Northwestern University
There are many ways to present model categories, each with a different point of view. Here we would like to treat model categories as a way to build and control resolutions. We are going to emphasize the analog of projective resolutions.
(7571 views)
Book cover: Higher Operads, Higher CategoriesHigher Operads, Higher Categories
by - arXiv
Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from topology, quantum algebra, mathematical physics, logic, and computer science.
(9834 views)
Book cover: Introduction to Categories and Categorical LogicIntroduction to Categories and Categorical Logic
by - arXiv
These notes provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The main prerequisite is a basic familiarity with the elements of discrete mathematics: sets, relations and functions.
(9910 views)
Book cover: Higher-Dimensional Categories: an illustrated guide bookHigher-Dimensional Categories: an illustrated guide book
by - 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.
(10702 views)