Category Theory for Computing Science

Front Cover
Prentice Hall, 1990 - Mathematics - 432 pages
Textbook for advanced undergraduates, graduates and researchers in computing science and mathematics expounds the basic ideas and construction of category theory, with examples from and applications to computing science. The emphasis is on examples and on understanding the concepts rather than on formal proofs of the theorems. Annotation copyright.

From inside the book

Contents

Preliminaries
1
Categories
14
6
27
Copyright

16 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information