Categories and computer science

Authors:R. F. C. Walters, University of Cambridge

Summary: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.

Print Book, English, 1991

Edition:View all formats and editions

Publisher: Cambridge University Press, Cambridge, 1991

Series:

Cambridge computer science texts, 28

Physical Description:x, 166 p. ; 23 cm.

ISBN:

9780521422260, 9780521419970, 0521422264, 0521419972

OCLC Number / Unique Identifier:639667584

Subjects:

Categorias (Matemáticas) Informática

Categorías (Matemáticas)

Contents:

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.