**Toposes, Triples and Theories**

by Michael Barr, Charles Wells

**Publisher**: Springer-Verlag 2005**ISBN/ASIN**: 0387961151**ISBN-13**: 9780387961156**Number of pages**: 302

**Description**:

As its title suggests, this book is an introduction to three ideas and the connections between them. Chapter 1 is an introduction to category theory which develops the basic constructions in categories needed for the rest of the book. Chapters 2, 3 and 4 introduce each of the three topics of the title and develop them independently up to a certain point. We assume that the reader is familiar with concepts typically developed in first-year graduate courses, such as group, ring, topological space, and so on.

Download or read it online for free here:

**Download link**

(multiple formats)

## Similar books

**Category Theory for Programmers**

by

**Bartosz Milewski**-

**unglue.it**

Category theory is the kind of math that is particularly well suited for the minds of programmers. It deals with the kind of structure that makes programs composable. And I will argue strongly that composition is the essence of programming.

(

**5454**views)

**Category Theory for Scientists**

by

**David I. Spivak**-

**arXiv**

We attempt to show that category theory can be applied throughout the sciences as a framework for modeling phenomena and communicating results. In order to target the scientific audience, this book is example-based rather than proof-based.

(

**8989**views)

**Basic Category Theory**

by

**Jaap van Oosten**-

**University of Utrecht**

Contents: Categories and Functors; Natural transformations; (Co)cones and (Co)limits; A little piece of categorical logic; Adjunctions; Monads and Algebras; Cartesian closed categories and the lambda-calculus; Recursive Domain Equations.

(

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

(

**18176**views)