Categories and computer science

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.