**Category Theory for Computing Science**

by Michael Barr, Charles Wells

**Publisher**: Prentice Hall 1998**ISBN/ASIN**: 0131204866**ISBN-13**: 9780131204867**Number of pages**: 544

**Description**:

This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions we feel are basic to category theory in the context of examples and applications to computing science.

Download or read it online for free here:

**Download link**

(2.1MB, PDF)

## Similar books

**Model Categories and Simplicial Methods**

by

**Paul Goerss, Kristen Schemmerhorn**-

**Northwestern University**

There are many ways to present model categories, each with a different point of view. Here we would like to treat model categories as a way to build and control resolutions. We are going to emphasize the analog of projective resolutions.

(

**10068**views)

**Categorical Homotopy Theory**

by

**Emily Riehl**-

**Cambridge University Press**

This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Emily Riehl discusses two competing perspectives by which one typically first encounters homotopy (co)limits ...

(

**4563**views)

**Categories, Types, and Structures**

by

**Andrea Asperti, Giuseppe Longo**-

**MIT Press**

Here is an introduction to category theory for the working computer scientist. It is a self-contained introduction to general category theory and the mathematical structures that constitute the theoretical background.

(

**18855**views)

**Basic Concepts of Enriched Category Theory**

by

**Max Kelly**-

**Cambridge University Press**

The book presents a selfcontained account of basic category theory, assuming as prior knowledge only the most elementary categorical concepts. It is designed to supply a connected account of the theory, or at least of a substantial part of it.

(

**13557**views)