Category Theory for Computer Science
Prentice-Hall (Publisher)
2nd Edition
Published on 25. August 1995
Book
Paperback/Softback
326 pages
978-0-13-323809-9 (ISBN)
Description
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.
More details
Series
Edition
2nd Revised edition
Language
English
Place of publication
Harlow
United Kingdom
Publishing group
Pearson Education Limited
Target group
College/higher education
Edition type
Revised edition
Illustrations
Illustrations
Dimensions
Height: 235 mm
Width: 178 mm
Weight
561 gr
ISBN-13
978-0-13-323809-9 (9780133238099)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Other editions
Previous edition
Michael Barr | Charles Wells
Category Theory for Computing Science
Book
01/1990
Prentice Hall
€43.33
Article exhausted; check for reprint
Content
Preliminaries. Categories. Functors. Diagrams. Naturality and Sketches. Products and Sums. Catesian Closed Categories. Finite Discrete Sketches. Limits and Colimits. More About Sketches. Fibrations. Adjoints. Algebras for Endofunctors. Toposes.