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

**Combinatorics and Algebra of Tensor Calculus**

by

**Sen Hu, Xuexing Lu, Yu Ye**-

**arXiv**

In this paper, we reveal the combinatorial nature of tensor calculus for strict tensor categories and show that there exists a monad which is described by the coarse-graining of graphs and characterizes the algebraic nature of tensor calculus.

(

**5821**views)

**Abstract and Concrete Categories: The Joy of Cats**

by

**Jiri Adamek, Horst Herrlich, George Strecker**-

**John Wiley & Sons**

A modern introduction to the theory of structures via the language of category theory, the emphasis is on concrete categories. The first five chapters present the basic theory, while the last two contain more recent research results.

(

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

(

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

(

**12799**views)