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

(

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

(

**12710**views)

**Category Theory Lecture Notes**

by

**Michael Barr, Charles Wells**

Categories originally arose in mathematics out of the need of a formalism to describe the passage from one type of mathematical structure to another. These notes form a short summary of some major topics in category theory.

(

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

(

**12947**views)