Categories and Computer Science

Categories and Computer Science

by R. F. C. Walters
     
 

View All Available Formats & Editions

ISBN-10: 0521419972

ISBN-13: 9780521419970

Pub. Date: 12/28/2006

Publisher: Cambridge University Press

Category Theory has, in recent years, become increasingly important and popular in computer science, and many universities now introduce Category Theory as part of the curriculum for undergraduate computer science students. Here, the theory is developed in a straightforward way, and is enriched with many examples from computer science.

Overview

Category Theory has, in recent years, become increasingly important and popular in computer science, and many universities now introduce Category Theory as part of the curriculum for undergraduate computer science students. Here, the theory is developed in a straightforward way, and is enriched with many examples from computer science.

Product Details

ISBN-13:
9780521419970
Publisher:
Cambridge University Press
Publication date:
12/28/2006
Series:
Cambridge Computer Science Texts Series
Pages:
180
Product dimensions:
5.98(w) x 8.98(h) x 0.55(d)

Table of Contents

Introduction; 1. The algebra of functions; 2. Products and sums; 3. Distributive categories; 4. Data types; 5. Categories of functors; 6. More about products; 7. Computational category theory; References; Index.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >