Categories and computer science
by R. F. C. Walters · first published 1991
4mentions
2recommended by
3HN commenters
2015–2018first – last mentioned
67% recommend33% neutral
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
Mentions per year
What Hacker News says
Related books
2010–2026Categories for the Working Mathematician
Saunders Mac Lane
Recommended by 4 · mentioned by 284 recommend · 28 mention4 recommend · 284 recommend
2015–2026Category Theory for Programmers
Bortosz Milewski, Bartosz Milewski
Recommended by 51 · mentioned by 7851 recommend · 78 mention51 recommend · 7851 recommend
…"Categories for the Working Mathematician" has been credibly criticised for being poorly written—but because it's so famous/prestigious it still gets loads of five-star reviews. Personally, I'd recommend Categories and Computer Science by RFC Walters, or Steve Awodey's Category Theory for a more general overview. (This might all sound peevish, but it feels like a real hazard of trying to learn difficult things from the web: the most…
on “An invitation to category theory” ↗I found "Categories and Computer Science" by R. F. C. Walters to be the perfect complement to Chapter 0 as it's almost entirely proof and example driven.
on “Category theory for beginners” ↗This is the book. The preview is limited though and I can't find the editor reference directly. Categories and Computer Science R.F.C Walters, 1992 https://books.google.com.au/books?id=FurEQgAACAAJ&dq=edition...
on “Text Editor: Data Structures” ↗The idea of taking the derivative of an algebraic data type is also discussed in "Categories and Computer Science" from 1992: https://www.cambridge.org/core/books/categories-and-computer... That discussion covers some of the same ground as the Taylor series idea elsewhere in thus discussion. It doesn't get as far…
on “Derivatives of Regular Expressions (2007)” ↗