Category theory

What Hacker News says

1. KirillPanovMar 2021
   Steve Awodey's Category Theory, hands down.

   https://www.goodreads.com/book/show/2047855.Category_Theory

   It's a mathematics book written by a philosophy professor that is extremely readable for computer scientists. Very CMU, much wow, such deduction.

   thread
2. henearkrAug 2020
   Steve Awodey's "Category Theory" is an excellent book to learn the basics, and there are no requirements to know beforehand topology or higher abstract algebra in order to follow it.
   thread
3. erik998Aug 2016
   Also checkout Steve Awodey's Category Theory book.

   https://global.oup.com/academic/product/category-theory-9780...

   On a personal note, I remember Awodey from my Senior Thesis seminar. He was very amicable and affable. During my presentation, I remember having to demonstrate Cantor's diagonalisation argument. Luckily for me it was one of the things I spent a good amount of time studying. Had a great time there.

   thread
4. freyrs3Aug 2015
   If you want a description of the monad laws in Haskell terms you can Google and find like 80 expositions on the topic of various depths.

   If you want a mathematical exposition. "Category Theory" by Awodey page 265 is a concise description.

   thread
5. dkarapetyanFeb 2015
   This is way too much. You're better of grabbing "Category Theory (Oxford Logic Guides)" by Steve Awodey and then augmenting it as necessary.
   thread
6. acJul 2013
   If you have time, Steve Awodey's book "Category Theory" is both beginner-friendly and helpful. You can get a PDF of an early pre-print online. He covers monads towards the end. If you are an experienced Haskell programmer, I've seen a few "Category Theory for Haskell programmers" tutorials around. That all said, I don't think that knowledge of Category Theory is a prerequisite to effective programming in Haskell (or any other language that features monads).
   Show morethread