Skip to content

Basic Category Theory for Computer Scientists

Best in textbook rentals since 2012!

ISBN-10: 0262660717

ISBN-13: 9780262660716

Edition: 1991

Authors: Benjamin C. Pierce, Michael R. Garey, Albert Meyer

List price: $35.00
Shipping box This item qualifies for FREE shipping.
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!


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, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientistsprovides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain…    
Customers also bought

Book details

List price: $35.00
Copyright year: 1991
Publisher: MIT Press
Publication date: 8/7/1991
Binding: Paperback
Pages: 116
Size: 7.06" wide x 9.06" long x 0.35" tall
Weight: 0.682
Language: English

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.