{"id":22452491,"url":"https://github.com/jaalonso/categorias_y_programacion","last_synced_at":"2025-08-21T16:24:17.996Z","repository":{"id":39458520,"uuid":"112505161","full_name":"jaalonso/Categorias_y_programacion","owner":"jaalonso","description":"Bibliografía sobre teoría de categorías y programación funcional","archived":false,"fork":false,"pushed_at":"2022-06-24T09:54:15.000Z","size":17,"stargazers_count":6,"open_issues_count":0,"forks_count":1,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-08-02T00:45:14.776Z","etag":null,"topics":["category-theory","functional-programming","haskell"],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/jaalonso.png","metadata":{"files":{"readme":"README.org","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2017-11-29T17:17:33.000Z","updated_at":"2024-05-02T15:14:17.000Z","dependencies_parsed_at":"2022-09-18T03:10:31.613Z","dependency_job_id":null,"html_url":"https://github.com/jaalonso/Categorias_y_programacion","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/jaalonso/Categorias_y_programacion","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jaalonso%2FCategorias_y_programacion","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jaalonso%2FCategorias_y_programacion/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jaalonso%2FCategorias_y_programacion/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jaalonso%2FCategorias_y_programacion/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/jaalonso","download_url":"https://codeload.github.com/jaalonso/Categorias_y_programacion/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jaalonso%2FCategorias_y_programacion/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":271507152,"owners_count":24771823,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-08-21T02:00:08.990Z","response_time":74,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["category-theory","functional-programming","haskell"],"created_at":"2024-12-06T06:11:29.674Z","updated_at":"2025-08-21T16:24:17.952Z","avatar_url":"https://github.com/jaalonso.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"#+TITLE: Lecturas sobre teoría de categorías y programación funcional\n#+OPTIONS:   toc:nil\n#+HTML_HEAD: \u003clink rel=\"stylesheet\" type=\"text/css\" href=\"./estilo.css\" /\u003e\n \nRecopilación de lecturas compartidas sobre teoría de categorías y programación\nfuncional. Además de los trabajos que relacionan ambos campos he añadido\nalgunos de introducción a la teoría de categorías.\n\n* Libros\n+ [[http://repository.cmu.edu/cgi/viewcontent.cgi?article=2846\u0026context=compsci][A taste of category theory for computer scientists]]. ~ Benjamin Pierce \n+ [[https://arxiv.org/pdf/1612.09375][Basic category theory]]. ~ Tom Leinster\n+ [[https://blog.scalents.com/2017/09/22/basic-category-theory-for-scala-programmers-part-i/][Basic category theory for (Scala) programmers (part I)]]. ~ Gabriel Claramunt\n+ [[https://github.com/jwbuurlage/category-theory-programmers/raw/master/doc/categories_for_programmers.pdf][Categories and Haskell (An introduction to the mathematics behind modern\n  functional programming)]]. ~ Jan-Willem Buurlage \n+ [[http://www.di.ens.fr/users/longo/files/CategTypesStructures/book.pdf][Categories, types and structures: category theory for the working computer\n  scientist]]. ~ Andrea Asperti and Giuseppe Longo.\n+ [[http://www.andrew.cmu.edu/course/80-413-713/notes/][Category theory]]. ~ Steve Awodey\n+ [[http://bit.ly/1KPL2qD][Category theory (A gentle introduction)]]. ~ P. Smith  \n+ [[https://github.com/jpvillaisaza/cain/raw/master/docs/cain.pdf][Category theory applied to functional programming]]. ~ J.P. Villa\n+ [[http://pages.cpsc.ucalgary.ca/~robin/class/617/notes.pdf][Category theory for computer science]]. ~ Robin Cockett\n+ [[http://bit.ly/1E3fqpN][Category theory for computing science]]. ~ M. Barr \u0026 C. Wells\n+ [[https://github.com/hmemcpy/milewski-ctfp-pdf/releases/download/v0.3/category-theory-for-programmers.pdf][Category theory for programmers]]. ~ Bartosz Milewski \n+ [[http://goo.gl/t9vmB][Category theory for scientists]]. ~ David I. Spivak \n+ [[http://ow.ly/eh9M6][Category theory lecture notes]] ~ Daniele Turi\n+ [[http://bit.ly/nwCGnt][Computational category theory]]. ~ D.E. Rydeheard \u0026 R.M. Burstall\n+ [[http://bit.ly/1jQdkBb][Categories and all that: A tutorial]]. ~ Ernst-Erich Doberkat\n+ [[http://blog.ploeh.dk/2017/10/04/from-design-patterns-to-category-theory/][From design patterns to category theory]]. ~ Mark Seemann \n+ [[http://www.buffalo.edu/~wlawvere/concep-3.pdf][Matemáticas conceptuales: Una primera introducción a categorı́as]]. ~ W. Lawvere\n  \u0026 S. Schanuel \n+ [[http://bit.ly/1RrtWir][The Haskell programmer’s guide to the IO monad]]. ~ S. Klinger\n\n* Artículos\n+ [[http://bit.ly/1JWsu7r][Abstraction in Haskell (Monoids, functors, monads)]]. ~ A. Gibiansky\n+ [[http://bit.ly/12zk29J][Apuntes de introducción a la teoría de categorías]]. ~ M. Román\n+ [[http://bit.ly/1MyraTg][Categorical monads and computer programming]]. ~ N. Benton\n+ [[http://bit.ly/1fk7sRF][Categorías. Los 30 primeros años]]. ~ Eduardo J. Dubuc\n+ [[http://bit.ly/1Kgz4l0][Effectful Haskell: IO, monads, functors]]. ~ S. Popejoy  \n+ [[http://bit.ly/NzGBUz][Example of why to use monads - what they can do]]. ~ Harold Carr\n+ [[http://bit.ly/1jIc43o][Flipping arrows in coBurger King (Category theory for the working Haskell\n  programmer)]]. ~ E.Z. Yang\n+ [[http://www.snoyman.com/blog/2017/01/functors-applicatives-and-monads][Functors, applicatives, and monads]]. ~ M. Snoyman\n+ [[http://goo.gl/QcfqM][Functors, applicatives, and monads in pictures]]. ~ adit.io \n+ [[http://bit.ly/1IoDcy0][Grasping Haskell: functors, applicatives and monads]]. ~ X. Deseyn\n+ [[http://bit.ly/1vBitB5][Haskell, monads and purity]]. ~ T. Jelvis \n+ [[http://bit.ly/1kAPcAP][Haskell/Category theory]]. ~ Wikibooks\n+ [[http://bit.ly/1fWoBS5][Higher order functions, functors and monads]]. ~ A. Kaygun\n+ [[https://mmhaskell.com/blog/2017/2/20/how-to-read-and-write-with-monads][How to read and write (with monads!)]] ~ James Bowen \n+ [[http://goo.gl/vldOp][Introductory monads]]. ~ Ben Kovach \n+ [[http://bit.ly/TzZx0C][Is there anything left to say about monads?]] ~ Paul Callaghan \n+ [[http://goo.gl/lgVmVZ][Monad examples]].\n+ [[http://page.mi.fu-berlin.de/scravy/realworldhaskell/materialien/monad-transformers-step-by-step.pdf][Monad transformers step by step]]. ~ M. Grabmüller \n+ [[http://bit.ly/1OrXFJg][Monads for drummers (Haskell Monad tutorial with pictures)]]. ~ A. Kholomiov\n+ [[http://bit.ly/1PaVK8V][Monads for functional programming]]. ~ P. Wadler  \n+ [[http://bit.ly/1uAwvRt][Monads for software engineers]].\n+ [[https://andyshiue.github.io/functional/programming/2017/02/06/monad.html][Monads in category theory for laymen]]. ~ AndyShiue \n+ [[http://bit.ly/1Bkz4Mf][Monads in Haskell]]. ~ N. Schilling \n+ [[http://www.stephendiehl.com/posts/monads.html][Monads made difficult]] ~ Stephen Diehl\n+ [[http://bit.ly/1hfHSMk][Monads, lifting, join, and side-effecting actions]]. ~ Chris Allen\n+ [[http://bit.ly/1zex05s][Monads: From Web 2.0 to hardware drivers]]. ~ Well-Typed\n+ [[http://bit.ly/1KeWvwL][Monoids, functors, applicatives, and monads: 10 main ideas]]. ~ trehansiddharth \n+ [[http://bit.ly/1CqXNmV][Motivation for monads]]. ~ B. Ylvisaker \n+ [[http://bit.ly/1dc7kzt][Practical fun with monads]]. ~ Justin Le\n  + [[http://bit.ly/1dc7kzt][Introducing: MonadPlus!]]\n  + [[http://bit.ly/1dc7oiF][The list MonadPlus]].\n  + [[http://bit.ly/1dc7u9U][The list MonadPlus \u0026 logic problems]].\n+ [[http://ow.ly/uSsth][Series of posts on the power of monoids]]. ~ Chung-chieh Shan\n+ [[http://bit.ly/1kxUz8T][Similarities: Monoid, MonadPlus, Category]]. ~ D. Burton \n+ [[https://elbauldelprogramador.com/teoria-categorias-scala-composicion/][Teoría de categorías en Scala: Composición]]. ~ A. Alcalde\n+ [[https://elbauldelprogramador.com/teoria-categorias-scala-tipos-funciones][Teoría de categorías en Scala: Tipos y funciones]]. ~ A. Alcalde\n+ [[https://www.schoolofhaskell.com/school/starting-with-haskell/basics-of-haskell/the-tao-of-monad][The TAO of monad]]. ~ Bartosz Milewski\n+ [[https://kseo.github.io/posts/2017-01-21-writer-monad.html][Writer monad]]. ~ Kwang Yul Seo\n+ [[http://bit.ly/1kAOoMk][Why category theory matters]]. ~  R. Seaton \n+ [[https://cdsmith.wordpress.com/2012/04/18/why-do-monads-matter][Why do monads matter?]] ~ C. Smith\n+ [[http://bit.ly/1QFVnbk][You could have invented monads! (and maybe you already have)]]. ~ Dan Piponi\n\n* Cursos\n+ [[https://wiki.haskell.org/User:Michiexile/MATH198][Category theory and functional programming]]. ~ Mikael Vejdemo-Johansson\n\n* Presentaciones\n+ [[https://speakerdeck.com/danielasfregola/lambda-world-2017-a-pragmatic-introduction-to-category-theory][A pragmatic introduction to category theory]]. ~ Daniela Sfregola\n+ [[http://bit.ly/29nM2pl][Abstract nonsense for functional programmers (a introduction to category\n  theory)]]. ~ Edsko de Vries\n+ [[https://www.dropbox.com/s/lasx6zxkoe07jyq/AdjunctionsHaskell.pdf?dl=0][Adjunctions in everyday life (Or: what we talk about when we talk about\n  monads)]]. ~ Rúnar Bjarnason\n+ [[http://cs.ioc.ee/~tarmo/tsem11/jeltsch1904-slides.pdf][An introduction to category theory and categorical logic]]. ~ Wolfgang Jeltsch\n+ [[http://bit.ly/1dKLLIX][An introduction to category theory for software engineers]]. ~ S. Easterbrook\n+ [[http://bit.ly/12agsNI][Category theory \u0026 programming]]. ~ Yann Esposito\n+ [[https://www.slideshare.net/cover_drive/category-theory-made-easy-with-ugly-pictures-73745930][Category theory made easy with (ugly) pictures]]. ~ Ashwin Rao \n+ [[http://bit.ly/1KPLghh][Functor, apply, applicative and monad]]. ~ O. Daff \n+ [[http://bit.ly/19yT1q8][Monads for normal people!]] ~ Dustin Getz\n+ [[http://haskellexists.blogspot.com.es/2017/02/ten-example-uses-of-monads.html][Ten example uses of Monads]]. ~ Philipp Schuster \n+ [[https://e.xtendo.org/monad#1][The Monad Fear]]. ~ @xtendo_\n+ [[http://bit.ly/29V5Ax4][Three approaches to monads]]. ~ Lawrence Evans \n+ [[http://go-talks.appspot.com/github.com/kseo/haskell-talks/2016/monad.slide#1][What is monad?]] ~ Kwang Yul Seo \n+ [[http://bit.ly/2fOFmQ2][Why category theory matters: a functional programmer’s perspective]]. ~\n  J.N. Oliveira \n\n* Vídeos\n+ [[http://bit.ly/1vWaUXN][Categories for the working Haskeller]]. ~ J. Gibbons\n+ [[https://www.youtube.com/watch?v=V10hzjgoklA][Category theory for the working hacker]] ~ Philip Wadler\n+ [[https://youtu.be/JMP6gI5mLHc][Category theory, the essence of interface-based design]]. ~ E. Meijer\n\n* Programas\n+ [[http://bit.ly/1OdGZWZ][Category theory in Coq 8.5]]. ~ A. Timany, B. Jacobs  \n+ [[https://github.com/jpvillaisaza/abel][Category theory applied to functional programming]]. ~ J.P. Villa\n+ [[https://github.com/rpeszek/notes-milewski-ctfp-hs][Notes and thoughts from reading Milewski \"Category theory for programmers\"\n  written in Haskell]]. ~ Robert Peszek #Haskell \n+ [[https://www.isa-afp.org/entries/MonoidalCategory.shtml][Monoidal categories in Isabelle/HOL]]. ~ E.W. Stark \n\n* Referencias\n+ [[http://www.logicmatters.net/categories/][Category theory]] ~ Peter Smith\n+ [[http://bit.ly/AmAOPZ][Monad tutorials timeline]].  \n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjaalonso%2Fcategorias_y_programacion","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjaalonso%2Fcategorias_y_programacion","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjaalonso%2Fcategorias_y_programacion/lists"}