The fundamental concepts of category theory are explained in this text which allows the reader to develop their understanding gradually. With over 300 exercises, students are encouraged to monitor their progression. A wide coverage of topics in category theory and computer science is developed including introductory treatments of cartesian closed categories, sketches and elementary categorical model theory, and triples. The presentation is informal with proofs included only when they are instructive, providing a broad coverage of the competing texts on category theory in computer science.
- ISBN10 0133238091
- ISBN13 9780133238099
- Publish Date 25 August 1995 (first published 1 January 1990)
- Publish Status Out of Print
- Out of Print 31 October 2009
- Publish Country GB
- Publisher Pearson Education Limited
- Imprint Prentice-Hall
- Edition 2nd Revised edition
- Format Paperback
- Pages 326
- Language English