Categories and computer science
This textbook has been enriched with many computer science related topics and, although its aim is to give an introduction to categories for students of computer science, it retains a level of mathematical correctness that will broaden its appeal to include students of mathematics as well.
x, 166 p. ; 23 cm.
9780521422260, 9780521419970, 0521422264, 0521419972
639667584
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.