Box 1 (4) category theory (18) computer science (66) computers (5) computing (10) Computing Science (5) cs (15) engineering-to-read (4) file#3 (2) from goodreads (4) functional programming (7) goodreads (10) graduate (2) lambda calculus (2) language design (5) languages (4) logic (5) math (30) my-books (3) non-fiction (14) own (3) owned (4) owner:klaus (3) owner:seba (2) PLT (4) programming (26) programming language theory (5) programming languages (21) programming languages theory (2) programming-language-theory (2) read (3) reference (3) semantics (2) stalled (3) sync0921 (3) textbook (6) theory (7) to-read (57) type theory (19) types (14)

Common Knowledge

Gender: male
Places of residence: Philadelphia, Pennsylvania, USA

Members

Reviews

Basic Category Theory for Computer Scientists… by Benjamin C. Pierce

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.… (more)

Flagged

isovector | 1 other review | Dec 13, 2020 |

Basic Category Theory for Computer Scientists… by Benjamin C. Pierce

I believe this is an excellent introduction to Category theory, and I believe that *someday* I'll make it through this book. But considered as applied mathematics, I just don't get the point of the high level of abstraction, though there must be something to it because the type theory and programming language communities have adopted it with great glee.