Computer Science

Basic Category Theory for Computer Scientists

Name: Basic Category Theory for Computer Scientists
Brand: MIT Press
SKU: 9780262660716
Price: 4040.00 INR
Availability: InStock
ISBN: 9780262660716

Contributor(s): Pierce, Benjamin C. Author Format: Paperback

Paperback · ISBN 9780262660716

₹4,040

Inclusive of GST and other taxes

100% Quality Assurance

No Account Creation Required

Fast Delivery

Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN	9780262660716
Publisher	MIT Press
Publication date	August 1991
Language	English
MRP	£28.76 GBP
Page count	116
Item weight	43 g

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, 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

Basic Category Theory for Computer Scientists

Key Specifications

Pierce, Benjamin C. Author

Related titles