Categories for Types (Cambridge Mathematical Textbooks)

Rating:
Summary: Excellent introduction to categories for computer scientists
Review: The book gives you all of the cateogry theory you need to study type theory. The examples are from domains that are comfortable for computer scientists. The difficult proofs are given in great detail, while other books often gloss over the details.