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

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

(

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

(

**11871**views)

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

(

**5203**views)

**Higher Operads, Higher Categories**

by

**Tom Leinster**-

**arXiv**

Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from topology, quantum algebra, mathematical physics, logic, and computer science.

(

**10838**views)