Personal tools

Category theory

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Foundations: Copying reference of Toposes, Triples and Theories from Books and tutorials#Foundations here)
m (Table of contents)
Line 1: Line 1:
== Foundations ==
== Foundations ==

Revision as of 10:16, 7 June 2006


1 Foundations

Michael Barr and Charles Wells: Toposes, Triples and Theories. The online free available book is both an introductory and a detailed description of category theory. By the way, it is also a category theoretical descripton of the concept of monad (the book uses another name instead of monad: triple).

2 Categorical programming

Catamorphisms and related concepts, categorical approach to functional programming, categorical programming. Many materials cited here refer to category theory, so as an introduction to this discipline see the #Foundations section.