Categories and Computer Science (Softcover)

Condition

VERY GOOD: This book is in good condition, showing a few signs of use and wear.

Product Details

This book is Volume 28 in theCambridge Computer Science Texts series from Cambridge University Press.

Continued from the back cover: "The theory is developed in a straightforward way, and is enriched with many examples from computer science. Thus this book meets the needs of undergraduate computer scientists, and yet retains a level of mathematical correctness that will broaden its appeal to include students of mathematics new to category theory."

Chapters

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

The textbook concludes with References and Index.