In the trend of showing other people introductions to category theory, I recomme... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

tombert on Oct 22, 2018 | parent | context | favorite | on: An invitation to category theory

In the trend of showing other people introductions to category theory, I recommend Peter Smith's "Category Theory: A Gentle Introduction", available online: https://www.logicmatters.net/resources/pdfs/GentleIntro.pdf

It assumes a bit more knowledge coming in, but it's really what made the entire thing stick for me.

escherplex on Oct 22, 2018 [–]

I'd add to that a complementary text by Barr and Wells:

Category Theory for Computing Science (Revised 2013)

http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact