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 and Homological Algebraby Pierre Schapira - UPMC
These notes introduce the language of categories and present the basic notions of homological algebra, first from an elementary point of view, next with a more sophisticated approach, with the introduction of triangulated and derived categories.
(7596 views)
Basic Concepts of Enriched Category Theoryby Max Kelly - Cambridge University Press
The book presents a selfcontained account of basic category theory, assuming as prior knowledge only the most elementary categorical concepts. It is designed to supply a connected account of the theory, or at least of a substantial part of it.
(10572 views)
Category Theory Lecture Notesby Michael Barr, Charles Wells
Categories originally arose in mathematics out of the need of a formalism to describe the passage from one type of mathematical structure to another. These notes form a short summary of some major topics in category theory.
(9268 views)
Seminar on Triples and Categorical Homology Theoryby 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.
(8920 views)