Basic Category Theory for Computer Scientists

by Benjamin C. Pierce and Dashka Slater

Book Overview

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency,...

• Format: Paperback
• Language: English
• ISBN: 0262660717
• ISBN13: 9780262660716
• Release Date: August 1991
• Publisher: MIT Press
• Length: 116 Pages
• Weight: 0.50 lbs.
• Dimensions: 0.4" x 7.1" x 9.0"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher