Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Basic Category Theory for Computer Scientists, Paperback / softback Book

Basic Category Theory for Computer Scientists Paperback / softback

Part of the Basic Category Theory for Computer Scientists series

Paperback / softback

Out of Stock - We are unable to provide an estimated availability date for this product

Description

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.

ContentsTutorial * Applications * Further Reading

Information

Save 16%

£33.00

£27.55

Out of Stock - We are unable to provide an estimated availability date for this product
Add to Basket
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information