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: An Introduction to Category Theory in Four Easy MovementsAn Introduction to Category Theory in Four Easy Movements
by - Manchester University
Notes for a course offered as part of the MSc. in Mathematical Logic. From the table of contents: Development and exercises; Functors and natural transformations; Limits and colimits, a universal solution; Cartesian closed categories.
(8107 views)
Book cover: Seminar on Triples and Categorical Homology TheorySeminar on Triples and Categorical Homology Theory
by - 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.
(7656 views)
Book cover: Category Theory for ScientistsCategory Theory for Scientists
by - arXiv
We attempt to show that category theory can be applied throughout the sciences as a framework for modeling phenomena and communicating results. In order to target the scientific audience, this book is example-based rather than proof-based.
(5877 views)
Book cover: Categorical Homotopy TheoryCategorical Homotopy Theory
by - 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 ...
(669 views)