Cubical Models of $(infty ,1)$-Categories
Author: Brandon Doherty
Publisher: American Mathematical Society
Published: 2024-06-07
Total Pages: 122
ISBN-13: 1470468948
DOWNLOAD EBOOK →View the abstract.
Author: Brandon Doherty
Publisher: American Mathematical Society
Published: 2024-06-07
Total Pages: 122
ISBN-13: 1470468948
DOWNLOAD EBOOK →View the abstract.
Author: Tom Leinster
Publisher: Cambridge University Press
Published: 2004-07-22
Total Pages: 451
ISBN-13: 0521532159
DOWNLOAD EBOOK →Foundations of higher dimensional category theory for graduate students and researchers in mathematics and mathematical physics.
Author: Ronald Brown
Publisher: JP Medical Ltd
Published: 2011
Total Pages: 714
ISBN-13: 9783037190838
DOWNLOAD EBOOK →The main theme of this book is that the use of filtered spaces rather than just topological spaces allows the development of basic algebraic topology in terms of higher homotopy groupoids; these algebraic structures better reflect the geometry of subdivision and composition than those commonly in use. Exploration of these uses of higher dimensional versions of groupoids has been largely the work of the first two authors since the mid 1960s. The structure of the book is intended to make it useful to a wide class of students and researchers for learning and evaluating these methods, primarily in algebraic topology but also in higher category theory and its applications in analogous areas of mathematics, physics, and computer science. Part I explains the intuitions and theory in dimensions 1 and 2, with many figures and diagrams, and a detailed account of the theory of crossed modules. Part II develops the applications of crossed complexes. The engine driving these applications is the work of Part III on cubical $\omega$-groupoids, their relations to crossed complexes, and their homotopically defined examples for filtered spaces. Part III also includes a chapter suggesting further directions and problems, and three appendices give accounts of some relevant aspects of category theory. Endnotes for each chapter give further history and references.
Author: Emily Riehl
Publisher: Cambridge University Press
Published: 2022-02-10
Total Pages: 782
ISBN-13: 1108952194
DOWNLOAD EBOOK →The language of ∞-categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. To explain what exactly an ∞-category is requires various technical models, raising the question of how they might be compared. To overcome this, a model-independent approach is desired, so that theorems proven with any model would apply to them all. This text develops the theory of ∞-categories from first principles in a model-independent fashion using the axiomatic framework of an ∞-cosmos, the universe in which ∞-categories live as objects. An ∞-cosmos is a fertile setting for the formal category theory of ∞-categories, and in this way the foundational proofs in ∞-category theory closely resemble the classical foundations of ordinary category theory. Equipped with exercises and appendices with background material, this first introduction is meant for students and researchers who have a strong foundation in classical 1-category theory.
Author: Denis-Charles Cisinski
Publisher: Cambridge University Press
Published: 2019-05-02
Total Pages: 449
ISBN-13: 1108473202
DOWNLOAD EBOOK →At last, a friendly introduction to modern homotopy theory after Joyal and Lurie, reaching advanced tools and starting from scratch.
Author: Philip S. Hirschhorn
Publisher: American Mathematical Soc.
Published: 2003
Total Pages: 482
ISBN-13: 0821849174
DOWNLOAD EBOOK →The aim of this book is to explain modern homotopy theory in a manner accessible to graduate students yet structured so that experts can skip over numerous linear developments to quickly reach the topics of their interest. Homotopy theory arises from choosing a class of maps, called weak equivalences, and then passing to the homotopy category by localizing with respect to the weak equivalences, i.e., by creating a new category in which the weak equivalences are isomorphisms. Quillen defined a model category to be a category together with a class of weak equivalences and additional structure useful for describing the homotopy category in terms of the original category. This allows you to make constructions analogous to those used to study the homotopy theory of topological spaces. A model category has a class of maps called weak equivalences plus two other classes of maps, called cofibrations and fibrations. Quillen's axioms ensure that the homotopy category exists and that the cofibrations and fibrations have extension and lifting properties similar to those of cofibration and fibration maps of topological spaces. During the past several decades the language of model categories has become standard in many areas of algebraic topology, and it is increasingly being used in other fields where homotopy theoretic ideas are becoming important, including modern algebraic $K$-theory and algebraic geometry. All these subjects and more are discussed in the book, beginning with the basic definitions and giving complete arguments in order to make the motivations and proofs accessible to the novice. The book is intended for graduate students and research mathematicians working in homotopy theory and related areas.
Author: J. P. May
Publisher: University of Chicago Press
Published: 1999-09
Total Pages: 262
ISBN-13: 9780226511832
DOWNLOAD EBOOK →Algebraic topology is a basic part of modern mathematics, and some knowledge of this area is indispensable for any advanced work relating to geometry, including topology itself, differential geometry, algebraic geometry, and Lie groups. This book provides a detailed treatment of algebraic topology both for teachers of the subject and for advanced graduate students in mathematics either specializing in this area or continuing on to other fields. J. Peter May's approach reflects the enormous internal developments within algebraic topology over the past several decades, most of which are largely unknown to mathematicians in other fields. But he also retains the classical presentations of various topics where appropriate. Most chapters end with problems that further explore and refine the concepts presented. The final four chapters provide sketches of substantial areas of algebraic topology that are normally omitted from introductory texts, and the book concludes with a list of suggested readings for those interested in delving further into the field.
Author: Bertrand Toën
Publisher: American Mathematical Soc.
Published: 2008
Total Pages: 242
ISBN-13: 0821840991
DOWNLOAD EBOOK →This is the second part of a series of papers called "HAG", devoted to developing the foundations of homotopical algebraic geometry. The authors start by defining and studying generalizations of standard notions of linear algebra in an abstract monoidal model category, such as derivations, étale and smooth morphisms, flat and projective modules, etc. They then use their theory of stacks over model categories to define a general notion of geometric stack over a base symmetric monoidal model category $C$, and prove that this notion satisfies the expected properties.
Author: James F. Davis
Publisher: American Mathematical Society
Published: 2023-05-22
Total Pages: 385
ISBN-13: 1470473682
DOWNLOAD EBOOK →The amount of algebraic topology a graduate student specializing in topology must learn can be intimidating. Moreover, by their second year of graduate studies, students must make the transition from understanding simple proofs line-by-line to understanding the overall structure of proofs of difficult theorems. To help students make this transition, the material in this book is presented in an increasingly sophisticated manner. It is intended to bridge the gap between algebraic and geometric topology, both by providing the algebraic tools that a geometric topologist needs and by concentrating on those areas of algebraic topology that are geometrically motivated. Prerequisites for using this book include basic set-theoretic topology, the definition of CW-complexes, some knowledge of the fundamental group/covering space theory, and the construction of singular homology. Most of this material is briefly reviewed at the beginning of the book. The topics discussed by the authors include typical material for first- and second-year graduate courses. The core of the exposition consists of chapters on homotopy groups and on spectral sequences. There is also material that would interest students of geometric topology (homology with local coefficients and obstruction theory) and algebraic topology (spectra and generalized homology), as well as preparation for more advanced topics such as algebraic $K$-theory and the s-cobordism theorem. A unique feature of the book is the inclusion, at the end of each chapter, of several projects that require students to present proofs of substantial theorems and to write notes accompanying their explanations. Working on these projects allows students to grapple with the “big picture”, teaches them how to give mathematical lectures, and prepares them for participating in research seminars. The book is designed as a textbook for graduate students studying algebraic and geometric topology and homotopy theory. It will also be useful for students from other fields such as differential geometry, algebraic geometry, and homological algebra. The exposition in the text is clear; special cases are presented over complex general statements.
Author: Emily Riehl
Publisher: Courier Dover Publications
Published: 2017-03-09
Total Pages: 273
ISBN-13: 0486820807
DOWNLOAD EBOOK →Introduction to concepts of category theory — categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads — revisits a broad range of mathematical examples from the categorical perspective. 2016 edition.