News for hackers. Stuff that matters.

A comment on Ask HN: How to Get into Category Theory?.

Re:Ask HN: How to Get into Category Theory? by elviejo on Saturday June 26, 2021 @12:29PM (#27643274)
I was in the same boat a year ago and went to a mathematics professor teacher and he suggested this book:

Conceptual Mathematics by Lawvere[1]

The book teaches category theory to, smart, highschool students.

It's a great start.

After that I went with:

Category Theory for Programmers by Bartosz Milewski [2]

Next I would go with anything by David Spivak.

Now I understand that: A monad is not scary, it's just a monoid in the category of endofuctors" ;)

[1] https://www.amazon.com/-/es/F-William-Lawvere/dp/052171916X

[2]https://www.blurb.com/b/9621951-category-theory-for-programm...

[ Parent | on HN ]
Re:Ask HN: How to Get into Category Theory? by cosmicocean on Saturday June 26, 2021 @12:36PM (#27643356)
IMO, David Spivak's book[0] is much less technical than anything coming from Bartosz Milewski. In fact, I think Spivak's book is simpler than that of Lawvere. If you know a little naive set theory, Spivak's book is a breeze.

[0] Talking about the one "for scientists".

[ Parent | on HN ]