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: Higher AlgebraHigher Algebra
by - Harvard University
Contents: Stable infinite-Categories; infinite-Operads; Algebras and Modules over infinte-Operads; Associative Algebras and Their Modules; Little Cubes and Factorizable Sheaves; Algebraic Structures on infinite-Categories; and more.
(18095 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.
(10111 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 ...
(4411 views)
Book cover: Basic Category TheoryBasic Category Theory
by - arXiv
This introduction to category theory is for readers with relatively little mathematical background. At its heart is the concept of a universal property, important throughout mathematics. For each new concept a generous supply of examples is provided.
(8318 views)