Categories and Computer Scienceby R. F. C. Walters
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.
Table of ContentsIntroduction; 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.
and post it to your social network
Most Helpful Customer Reviews
See all customer reviews >