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
An Introduction to Category Theory in Four Easy Movementsby A. Schalk, H. Simmons - 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)
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.
(7656 views)
Category Theory for Scientistsby David I. Spivak - 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)
Categorical Homotopy Theoryby Emily Riehl - 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)