Overview
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 Scientists provides 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 equations. A brief literature survey offers suggestions for further study in more advanced texts.
Contents
Tutorial • Applications • Further Reading
This book title, Basic Category Theory for Computer Scientists, ISBN: 9780262660716, by Benjamin C. Pierce, published by MIT Press (August 7, 1991) is available in paperback. Our minimum order quantity is 25 copies. All standard bulk book orders ship FREE in the continental USA and delivered in 4-10 business days.
Unlike Amazon and other retailers who may also offer Basic Category Theory for Computer Scientists books on their website, we specialize in large quantities and provide personal service, from trusted, experienced, friendly people in Portland, Oregon. We offer a Price Match Guarantee, and QuickQuote form, to make purchasing quick and easy.
Prefer to work with a human being when you order Basic Category Theory for Computer Scientists books in bulk? Our Book Specialists are standing by Monday-Friday 8-5 PST, ready to help!