Logo

Toposes, Triples and Theories

Large book cover: Toposes, Triples and Theories

Toposes, Triples and Theories
by

Publisher: Springer-Verlag
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.

Home page url

Download or read it online for free here:
Download link
(multiple formats)

Similar books

Book cover: Category Theory for ProgrammersCategory Theory for Programmers
by - 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)
Book cover: Higher Topos TheoryHigher Topos Theory
by - 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)
Book cover: Category Theory Lecture NotesCategory Theory Lecture Notes
by
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)
Book cover: Basic Concepts of Enriched Category TheoryBasic Concepts of Enriched Category Theory
by - 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)