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

**Mixed Motives**

by

**Marc Levine**-

**American Mathematical Society**

This book combines foundational constructions in the theory of motives and results relating motivic cohomology to more explicit constructions. Prerequisite for understanding the work is a basic background in algebraic geometry.

(

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

(

**5089**views)

**Higher Algebra**

by

**Jacob Lurie**-

**Harvard University**

Contents: Stable infinite-Categories; infinite-Operads; Algebras and Modules over infinte-Operads; Associative Algebras and Their Modules; Little Cubes and Factorizable Sheaves; Algebraic Structures on infinite-Categories; and more.

(

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

(

**2588**views)