Hacker GitHub

← All repos

hmemcpy/milewski-ctfp-pdf

View on GitHub ↗ ★ 11,706 TeX

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

40 mentions on Hacker News by 32 people: 8 stories, 32 comments · first 2017-09-30 · latest 2026-07-14

Mentions per year 40 mentions · busiest year 2018 (10)
20082026
AllStoriesComments NewestTopOldest
  1. …Theory for Programmers. Here's the Releases page with PDF files (click to open the Assets section). https://github.com/hmemcpy/milewski-ctfp-pdf/releases There are several versions with code examples in Haskell, OCaml, ReasonML, and Scala.…
    comment by lioeters · 2026-07-14 · in Actegories
  2. ▲ 3
    Category Theory for Programmers
    story by ibobev · 2025-09-25 · 0 comments
  3. …designs/thinking). [1] https://youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa... [2] https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by louthy · 2025-08-06 · in Why is it worth spending time on type theory? (2013)
  4. …of it. Milewski has made that trip multiple times already. The book and his blog are great places. https://github.com/hmemcpy/milewski-ctfp-pdf Book https://bartoszmilewski.com/2014/10/28/category-theory-for-p... Blog
    comment by Krei-se · 2024-10-25 · in Category Theory Illustrated: Logic (2021)
  5. …I read before. At least I'm able to appreciate Typing the Technical Interview [1] now. :-) [0]: https://github.com/hmemcpy/milewski-ctfp-pdf [1]: https://aphyr.com/posts/342-typing-the-technical-interview
    comment by codethief · 2024-07-21 · in Ask HN: What resources do you recommend for learning Haskell?
  6. …Milewski too. To get a complete intuition spending some time learning Haskell will also help. [1] https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by louthy · 2024-01-01 · in A Core Calculus for Documents [pdf]
  7. Strangely similar name to the well-known 'Category Theory for Programmers' https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by shepherdjerred · 2023-11-07 · in Category Theory for Programming
  8. …doesn't have to be working: https://bartoszmilewski.com/2014/10/28/category-theory-for-p... https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by dkjaudyeqooe · 2023-07-10 · in Polynomial Functors: A Mathematical Theory of Interaction [pdf]
  9. …design (book): https://algebradriven.design/ Category theory for programmers (free book): https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by sshine · 2023-03-27 · in Ask HN: Math for Programmers?
  10. …at what would be effective at getting up to speed without spending 25 years, would be to checkout https://github.com/hmemcpy/milewski-ctfp-pdf Category Theory for Programmers. Milewski was one of those people who were like "Oh, it's simply…
    comment by rssoconnor · 2022-12-01 · in Why I am learning category theory
  11. …If you want a taste of what category theory is, you can checkout his interview on corecursive. https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by zzhelezc · 2022-01-18 · in Ask HN: Solving problems by mapping to other problems that we know how to solve
  12. …Haskell: https://bartoszmilewski.com/2014/10/28/category-theory-for-p... and acquirable as a PDF at https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by Jhsto · 2021-12-30 · in Category Theory: Lecture Notes and Online Books
  13. You don't need a PhD, you just need the first few chapters of [Category Theory for Programmers]( https://github.com/hmemcpy/milewski-ctfp-pdf ) :)
    comment by shepherdjerred · 2021-10-12 · in Tricks I wish I knew when I learned TypeScript
  14. …Milewski's free book Category Theory for Programmers is a "classic" as well https://github.com/hmemcpy/milewski-ctfp-pdf In general you can find videos on youtube of talks given at various industry functional programming conferences t
    comment by ABS · 2021-09-16 · in Infinity Category Theory Offers a Bird’s-Eye View of Mathematics
  15. Bartosz Milewski's 'Category Theory for Programmers' https://github.com/hmemcpy/milewski-ctfp-pdf/
    comment by kasbah · 2021-09-02 · in Ask HN: Source Recommendations for Category Theory?
  16. See also Category Theory for Programmers[1] book. [1] https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by xvilka · 2020-09-24 · in Mathematics for Programmers [pdf]
  17. …the code yourself makes it more approachable for completly begginers from my experience. 1. https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by vrnvu · 2020-07-26 · in Basics of Haskell – Code and exercises
  18. …book is well written (and free)! lectures -> https://www.youtube.com/user/DrBartosz book -> https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by xyzal · 2020-06-11 · in Ask HN: What kind of math do you study in your free time?
  19. ▲ 5
    Category Theory for Programmers, OCaml edition (alpha)
    story by mseri · 2020-02-14 · 0 comments
  20. …one) is already part of the book, OCaml flavor[2] is being worked on and mostly finished. [1] https://github.com/hmemcpy/milewski-ctfp-pdf/releases/tag/v1... [2] https://github.com/hmemcpy/milewski-ctfp-pdf/pull/201
    comment by xvilka · 2019-12-25 · in Category Theory for Programmers (2014) [pdf]
  21. Or direct[-ish] link to TFA's PDF: https://github.com/hmemcpy/milewski-ctfp-pdf/releases/downlo... -ish: since it's doing something untoward involving AWS, but the link does resolve to a actual PDF file, unlike the original submission.
    comment by a1369209993 · 2019-12-24 · in Category Theory for Programmers (2014) [pdf]
  22. ▲ 403
    Category Theory for Programmers (2014) [pdf]
    story by furcyd · 2019-12-24 · 129 comments
  23. ▲ 2
    Category Theory for Programmers
    story by tosh · 2019-08-14 · 0 comments
  24. ▲ 5
    Bartosz Milewski Category Theory for Programmers Unofficial PDF and LaTeX Source
    story by molteanu · 2019-08-09 · 0 comments
  25. Not the OP, but this is a great book to get started: https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by louthy · 2019-08-01 · in A Brief Guide to a Few Algebraic Structures
  26. …Similar to what was done recently with Scala[2], and now work-in-progress OCaml[3] flavor. [1] https://github.com/hmemcpy/milewski-ctfp-pdf/ [2] https://github.com/hmemcpy/milewski-ctfp-pdf/releases/tag/v1... [3]…
    comment by xvilka · 2019-07-06 · in Catlab.jl: Experimental framework for applied category theory
  27. Related: Category Theory for Programmers https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by sridca · 2019-05-21 · in Set Theory and Foundations of Mathematics
  28. With some consistent dedicated effort you could maybe go through Category Theory for Programmers https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by pizza · 2019-02-10 · in A monad is a monoid in the category of endofunctors, what’s the problem?
  29. Re: math, composition and universal abstractions Folks please read https://github.com/hmemcpy/milewski-ctfp-pdf Re: learning Haskell Best way is to do it https://github.com/data61/fp-course and https://m.youtube.com/playlist?list=PLly9WMAVM…
    comment by ghuntley · 2018-12-27 · in Ask HN: What has Haskell ever done for us?
  30. See http://blog.ploeh.dk/2017/10/04/from-design-patterns-to-cate... and https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by ghuntley · 2018-12-27 · in Ask HN: What has Haskell ever done for us?
  31. …e.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7F... The pdf generated from his blog is also interesting : https://github.com/hmemcpy/milewski-ctfp-pdf These are the best resources I found about the subject.
    comment by raphinou · 2018-12-25 · in Learn Prolog Now
  32. https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by IceDane · 2018-12-25 · in Learn Prolog Now
  33. ▲ 6
    Category Theory for Programmers – Scala Edition [pdf]
    story by hmemcpy · 2018-11-26 · 0 comments
  34. …Also recommend checking out Bartosz Milewski's "Category Theory for Programmers": https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by bmc7505 · 2018-10-26 · in The Simple Essence of Automatic Differentiation [pdf]
  35. pdf here: https://github.com/hmemcpy/milewski-ctfp-pdf/ related HN discussion: https://news.ycombinator.com/item?id=15372856
    comment by mathgenius · 2018-10-22 · in Category Theory for Programmers by Bartosz Milewski
  36. …like his journey too, as it exactly reflects my own. [1] Category Theory for Programmers - https://github.com/hmemcpy/milewski-ctfp-pdf [2] https://www.youtube.com/user/DrBartosz/playlists
    comment by louthy · 2018-10-22 · in An invitation to category theory
  37. …ploughing through the PDF book version [1] on my Kindle. He really is a very good teacher. [1] https://github.com/hmemcpy/milewski-ctfp-pdf
    comment by louthy · 2018-10-22 · in An invitation to category theory
  38. ▲ 2
    Category Theory for Programmers
    story by ingve · 2018-10-21 · 0 comments
  39. https://github.com/hmemcpy/milewski-ctfp-pdf appears to have quite a few fans.
    comment by sjakobi · 2017-10-06 · in From design patterns to category theory
  40. ▲ 91
    Bartosz Milewski's 'Category Theory for Programmers' Unofficial PDF/LaTeX Source
    story by gfredtech · 2017-09-30 · 5 comments