I'd add to that a complementary text by Barr and Wells: *Category Theory for Com... | Hacker News

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

login

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

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact