**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

**A Gentle Introduction to Category Theory: the calculational approach**

by

**Maarten M. Fokkinga**-

**University of Twente**

These notes present the important notions from category theory. The intention is to provide a fairly good skill in manipulating with those concepts formally. This text introduces category theory in the calculational style of the proofs.

(

**13334**views)

**Basic Category Theory**

by

**Tom Leinster**-

**arXiv**

This introduction to category theory is for readers with relatively little mathematical background. At its heart is the concept of a universal property, important throughout mathematics. For each new concept a generous supply of examples is provided.

(

**2014**views)

**Functors and Categories of Banach Spaces**

by

**Peter W. Michor**-

**Springer**

The aim of this book is to develop the theory of Banach operator ideals and metric tensor products along categorical lines: these two classes of mathematical objects are endofunctors on the category Ban of all Banach spaces in a natural way.

(

**5753**views)

**Higher Topos Theory**

by

**Jacob Lurie**-

**Princeton University Press**

Jacob Lurie presents the foundations of higher category theory, using the language of weak Kan complexes, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.

(

**7042**views)