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
Dynamical Systems and Sheavesby D. I. Spivak, C. Vasilakopoulou, P. Schultz - arXiv
A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as 'machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time.
(8004 views)
Category Theory: A Gentle Introductionby Peter Smith - Logic Matters
I hope that what is here may prove useful to others starting to get to grips with category theory. This text is intended to be relatively accessible; in particular, it presupposes rather less mathematical background than some texts on categories.
(9287 views)
Combinatorics and Algebra of Tensor Calculusby 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.
(7384 views)
Category Theory for Scientistsby 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.
(11263 views)