Reviews for Categories for Types

The average rating for Categories for Types based on 2 reviews is 3.5 stars.

Review # 1 was written on 2010-07-28 00:00:00 Rhonna Duntenschachter This is a good overview of category theory, and also contains an in-depth review of lattices (which are useful for understanding continuous functions, Scott domains, etc). A good portion of the book is devoted to working various proofs and examining results related to categories (there is a chapter on the Yoneda lemma, for example). I would not recommend this book as an introductory text to either type theory or category theory, and most of the later examples are very in-depth and non-trivial.

Review # 2 was written on 2012-07-28 00:00:00 Denise Bartlett Too terse for my taste. The proofs are too telegraphic, probably with the intention of treating a large number of theorems / results. It's an excellent compendium (a lot of new material) but it's not a book to learn Graph Theory from.