Categories and Computer Science

ISBN-13: 9780521419970 / Angielski / Twarda / 1992 / 180 str.

R. F. C. Walters

Opis

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.

Recenzje

"...probably the clearest introduction to category theory written to date." The Bulletin of Mathematics Books

Spis treści

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.