Lecturas sobre teora de categoras y programacin funcional

Recopilacin de lecturas compartidas sobre teora de categoras y programacin funcional. Adems de los trabajos que relacionan ambos campos he aadido algunos de introduccin a la teora de categoras.

Libros

• A taste of category theory for computer scientists. ~ Benjamin Pierce
• Basic category theory. ~ Tom Leinster
• Basic category theory for (Scala) programmers (part I). ~ Gabriel Claramunt
• Categories and Haskell (An introduction to the mathematics behind modern functional programming). ~ Jan-Willem Buurlage
• Categories, types and structures: category theory for the working computer scientist. ~ Andrea Asperti and Giuseppe Longo.
• Category theory. ~ Steve Awodey
• Category theory (A gentle introduction). ~ P. Smith
• Category theory applied to functional programming. ~ J.P. Villa
• Category theory for computer science. ~ Robin Cockett
• Category theory for computing science. ~ M. Barr & C. Wells
• Category theory for programmers. ~ Bartosz Milewski
• Category theory for scientists. ~ David I. Spivak
• Category theory lecture notes ~ Daniele Turi
• Computational category theory. ~ D.E. Rydeheard & R.M. Burstall
• Categories and all that: A tutorial. ~ Ernst-Erich Doberkat
• From design patterns to category theory. ~ Mark Seemann
• Matemticas conceptuales: Una primera introduccin a categoras. ~ W. Lawvere & S. Schanuel
• The Haskell programmers guide to the IO monad. ~ S. Klinger

Artculos

• Abstraction in Haskell (Monoids, functors, monads). ~ A. Gibiansky
• Apuntes de introduccin a la teora de categoras. ~ M. Romn
• Categorical monads and computer programming. ~ N. Benton
• Categoras. Los 30 primeros aos. ~ Eduardo J. Dubuc
• Effectful Haskell: IO, monads, functors. ~ S. Popejoy
• Example of why to use monads - what they can do. ~ Harold Carr
• Flipping arrows in coBurger King (Category theory for the working Haskell programmer). ~ E.Z. Yang
• Functors, applicatives, and monads. ~ M. Snoyman
• Functors, applicatives, and monads in pictures. ~ adit.io
• Grasping Haskell: functors, applicatives and monads. ~ X. Deseyn
• Haskell, monads and purity. ~ T. Jelvis
• Haskell/Category theory. ~ Wikibooks
• Higher order functions, functors and monads. ~ A. Kaygun
• How to read and write (with monads!) ~ James Bowen
• Introductory monads. ~ Ben Kovach
• Is there anything left to say about monads? ~ Paul Callaghan
• Monad examples.
• Monad transformers step by step. ~ M. Grabmller
• Monads for drummers (Haskell Monad tutorial with pictures). ~ A. Kholomiov
• Monads for functional programming. ~ P. Wadler
• Monads for software engineers.
• Monads in category theory for laymen. ~ AndyShiue
• Monads in Haskell. ~ N. Schilling
• Monads made difficult ~ Stephen Diehl
• Monads, lifting, join, and side-effecting actions. ~ Chris Allen
• Monads: From Web 2.0 to hardware drivers. ~ Well-Typed
• Monoids, functors, applicatives, and monads: 10 main ideas. ~ trehansiddharth
• Motivation for monads. ~ B. Ylvisaker
• Practical fun with monads. ~ Justin Le
  • Introducing: MonadPlus!
  • The list MonadPlus.
  • The list MonadPlus & logic problems.
• Series of posts on the power of monoids. ~ Chung-chieh Shan
• Similarities: Monoid, MonadPlus, Category. ~ D. Burton
• Teora de categoras en Scala: Composicin. ~ A. Alcalde
• Teora de categoras en Scala: Tipos y funciones. ~ A. Alcalde
• The TAO of monad. ~ Bartosz Milewski
• Writer monad. ~ Kwang Yul Seo
• Why category theory matters. ~ R. Seaton
• Why do monads matter? ~ C. Smith
• You could have invented monads! (and maybe you already have). ~ Dan Piponi

Cursos

• Category theory and functional programming. ~ Mikael Vejdemo-Johansson

Presentaciones

• A pragmatic introduction to category theory. ~ Daniela Sfregola
• Abstract nonsense for functional programmers (a introduction to category theory). ~ Edsko de Vries
• Adjunctions in everyday life (Or: what we talk about when we talk about monads). ~ Rnar Bjarnason
• An introduction to category theory and categorical logic. ~ Wolfgang Jeltsch
• An introduction to category theory for software engineers. ~ S. Easterbrook
• Category theory & programming. ~ Yann Esposito
• Category theory made easy with (ugly) pictures. ~ Ashwin Rao
• Functor, apply, applicative and monad. ~ O. Daff
• Monads for normal people! ~ Dustin Getz
• Ten example uses of Monads. ~ Philipp Schuster
• The Monad Fear. ~ @xtendo_
• Three approaches to monads. ~ Lawrence Evans
• What is monad? ~ Kwang Yul Seo
• Why category theory matters: a functional programmers perspective. ~ J.N. Oliveira

Vdeos

• Categories for the working Haskeller. ~ J. Gibbons
• Category theory for the working hacker ~ Philip Wadler
• Category theory, the essence of interface-based design. ~ E. Meijer

Programas

• Category theory in Coq 8.5. ~ A. Timany, B. Jacobs
• Category theory applied to functional programming. ~ J.P. Villa
• Notes and thoughts from reading Milewski “Category theory for programmers” written in Haskell. ~ Robert Peszek #Haskell
• Monoidal categories in Isabelle/HOL. ~ E.W. Stark

Referencias

• Category theory ~ Peter Smith
• Monad tutorials timeline.