Ratings2
Average rating2.5
Series
1 released bookFoundations of Computing is a 2-book series first released in 1991 with contributions by Benjamin C. Pierce and Yuri Matijasevich.
Reviews with the most likes.
Terse. Maybe too terse, but a lot of my issues would have been resolved had I realized there was an appendix of notation at the back of the book. Serves as a pretty solid introduction to category theory, but provides absolutely no indication as to why one might want to know category theory. The treatment is primarily for organizing ones thoughts about abstract structures rather than actually working with them. The book very briefly mentions representability, with no discussion of the Yoneda lemma (which I understand to be one of the more useful parts of category theory).
I read this as part of MIRI's recommended reading list.
Books
7 booksIf you enjoyed this book, then our algorithm says you may also enjoy these.