News for hackers. Stuff that matters.
Re:Ask HN: What are you working on? (April 2025) by misterflibble on Monday April 28, 2025 @12:41AM (#43817632)
Can I ask what prerequisite mathematics you would need to know before reading those? I'm really interested in that topic and better understanding functional programming.
Re:Ask HN: What are you working on? (April 2025) by hyperbrainer on Monday April 28, 2025 @01:48AM (#43818015)
If you wish to approach Category Theory from the viewpoint of a programmer, not a mathematician, I suggest Bartosz Milewski's book Category Theory for Programmers. For this, all you need is some previous programming experience. He uses C++ and Haskell iirc but as long as you can read snippets of code, you'll be fine.

I am suggesting this since you said you want to better understand functional programming. Category Theory, as mathematicians look at it, is an extremely abstract field. If you want to do pure math related stuff in Category Theory, and only then, I would say important prereqs are Abstract Algebra and Topology. I believe the motivation for Category theory lies in Algebraic Geometry and Algebraic Topology, but you definitely don't need to be an expert on these to learn it.

Re:Ask HN: What are you working on? (April 2025) by misterflibble on Monday April 28, 2025 @03:06AM (#43818443)
Hey thank you for the excellent tips! I really appreciate it!
Re:Ask HN: What are you working on? (April 2025) by csbartus on Tuesday April 29, 2025 @09:30AM (#43832336)
Here is a birds-eye view of programming (classic, functional, quantum) vs category theory vs logic -- aka the computational trilogy:

https://ncatlab.org/nlab/show/computational+trilogy

It helped me a lot putting into context my existing programming knowledge while learning category theory