Categorical Homotopy Theory

Categorical Homotopy Theory PDF Author: Emily Riehl
Publisher: Cambridge University Press
ISBN: 1139952633
Category : Mathematics
Languages : en
Pages : 371

Get Book

Book Description
This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Part I discusses two competing perspectives by which one typically first encounters homotopy (co)limits: either as derived functors definable when the appropriate diagram categories admit a compatible model structure, or through particular formulae that give the right notion in certain examples. Emily Riehl unifies these seemingly rival perspectives and demonstrates that model structures on diagram categories are irrelevant. Homotopy (co)limits are explained to be a special case of weighted (co)limits, a foundational topic in enriched category theory. In Part II, Riehl further examines this topic, separating categorical arguments from homotopical ones. Part III treats the most ubiquitous axiomatic framework for homotopy theory - Quillen's model categories. Here, Riehl simplifies familiar model categorical lemmas and definitions by focusing on weak factorization systems. Part IV introduces quasi-categories and homotopy coherence.

Categorical Homotopy Theory

Categorical Homotopy Theory PDF Author: Emily Riehl
Publisher: Cambridge University Press
ISBN: 1139952633
Category : Mathematics
Languages : en
Pages : 371

Get Book

Book Description
This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Part I discusses two competing perspectives by which one typically first encounters homotopy (co)limits: either as derived functors definable when the appropriate diagram categories admit a compatible model structure, or through particular formulae that give the right notion in certain examples. Emily Riehl unifies these seemingly rival perspectives and demonstrates that model structures on diagram categories are irrelevant. Homotopy (co)limits are explained to be a special case of weighted (co)limits, a foundational topic in enriched category theory. In Part II, Riehl further examines this topic, separating categorical arguments from homotopical ones. Part III treats the most ubiquitous axiomatic framework for homotopy theory - Quillen's model categories. Here, Riehl simplifies familiar model categorical lemmas and definitions by focusing on weak factorization systems. Part IV introduces quasi-categories and homotopy coherence.

Rational Homotopy Theory

Rational Homotopy Theory PDF Author: Yves Felix
Publisher: Springer Science & Business Media
ISBN: 146130105X
Category : Mathematics
Languages : en
Pages : 574

Get Book

Book Description
Rational homotopy theory is a subfield of algebraic topology. Written by three authorities in the field, this book contains all the main theorems of the field with complete proofs. As both notation and techniques of rational homotopy theory have been considerably simplified, the book presents modern elementary proofs for many results that were proven ten or fifteen years ago.

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics PDF Author:
Publisher: Univalent Foundations
ISBN:
Category :
Languages : en
Pages : 484

Get Book

Book Description


Homotopy Theory and Models

Homotopy Theory and Models PDF Author: Marc Aubry
Publisher: Birkhäuser
ISBN: 3034890869
Category : Mathematics
Languages : en
Pages : 128

Get Book

Book Description
In keeping with the general aim of the "D.M.V.-Seminar" series, this book is princi pally a report on a group of lectures held at Blaubeuren by Professors H. J. Baues, S. Halperin and J.-M. Lemaire, from October 30 to November 7, 1988. These lec tures were devoted to providing an introduction to the theory of models in algebraic homotopy. The three lecturers acted in concert to produce a coherent exposition of the theory. Commencing from a common starting point, each of them then proceeded naturally to his own subject of research. The reader who is already familiar with their scientific work will certainly give the lecturers their due. Having been asked by the speakers to take on the responsibility of writing down the notes, it seemed to me that the material elucidated in the short span of fifteen hours was too dense to appear, unedited, in book form. Some amplification was necessary. Of course I submitted to them the final version of this book, which received their approval. I thank them for this token of confidence. I am also grateful to all three for their help and advice in writing this book. I am particularly indebted to J.-M. Lemaire who was indeed very often consulted. For basic notions (in particular those concerning homotopy groups, CW complexes, (co)homology and homological algebra) the reader is advised to refer to the fundamental books written by E. H. Spanier [47], R. M. Switzer [49] and G. Whitehead [52].

Modern Classical Homotopy Theory

Modern Classical Homotopy Theory PDF Author: Jeffrey Strom
Publisher: American Mathematical Society
ISBN: 1470471639
Category : Mathematics
Languages : en
Pages : 862

Get Book

Book Description
The core of classical homotopy theory is a body of ideas and theorems that emerged in the 1950s and was later largely codified in the notion of a model category. This core includes the notions of fibration and cofibration; CW complexes; long fiber and cofiber sequences; loop spaces and suspensions; and so on. Brown's representability theorems show that homology and cohomology are also contained in classical homotopy theory. This text develops classical homotopy theory from a modern point of view, meaning that the exposition is informed by the theory of model categories and that homotopy limits and colimits play central roles. The exposition is guided by the principle that it is generally preferable to prove topological results using topology (rather than algebra). The language and basic theory of homotopy limits and colimits make it possible to penetrate deep into the subject with just the rudiments of algebra. The text does reach advanced territory, including the Steenrod algebra, Bott periodicity, localization, the Exponent Theorem of Cohen, Moore, and Neisendorfer, and Miller's Theorem on the Sullivan Conjecture. Thus the reader is given the tools needed to understand and participate in research at (part of) the current frontier of homotopy theory. Proofs are not provided outright. Rather, they are presented in the form of directed problem sets. To the expert, these read as terse proofs; to novices they are challenges that draw them in and help them to thoroughly understand the arguments.

Simplicial Homotopy Theory

Simplicial Homotopy Theory PDF Author: Paul G. Goerss
Publisher: Birkhäuser
ISBN: 3034887078
Category : Mathematics
Languages : en
Pages : 520

Get Book

Book Description
Since the beginning of the modern era of algebraic topology, simplicial methods have been used systematically and effectively for both computation and basic theory. With the development of Quillen's concept of a closed model category and, in particular, a simplicial model category, this collection of methods has become the primary way to describe non-abelian homological algebra and to address homotopy-theoretical issues in a variety of fields, including algebraic K-theory. This book supplies a modern exposition of these ideas, emphasizing model category theoretical techniques. Discussed here are the homotopy theory of simplicial sets, and other basic topics such as simplicial groups, Postnikov towers, and bisimplicial sets. The more advanced material includes homotopy limits and colimits, localization with respect to a map and with respect to a homology theory, cosimplicial spaces, and homotopy coherence. Interspersed throughout are many results and ideas well-known to experts, but uncollected in the literature. Intended for second-year graduate students and beyond, this book introduces many of the basic tools of modern homotopy theory. An extensive background in topology is not assumed.

The Homotopy Theory of (∞,1)-Categories

The Homotopy Theory of (∞,1)-Categories PDF Author: Julia E. Bergner
Publisher: Cambridge University Press
ISBN: 1108565042
Category : Mathematics
Languages : en
Pages : 290

Get Book

Book Description
The notion of an (∞,1)-category has become widely used in homotopy theory, category theory, and in a number of applications. There are many different approaches to this structure, all of them equivalent, and each with its corresponding homotopy theory. This book provides a relatively self-contained source of the definitions of the different models, the model structure (homotopy theory) of each, and the equivalences between the models. While most of the current literature focusses on how to extend category theory in this context, and centers in particular on the quasi-category model, this book offers a balanced treatment of the appropriate model structures for simplicial categories, Segal categories, complete Segal spaces, quasi-categories, and relative categories, all from a homotopy-theoretic perspective. Introductory chapters provide background in both homotopy and category theory and contain many references to the literature, thus making the book accessible to graduates and to researchers in related areas.

Homotopy Theory and Models

Homotopy Theory and Models PDF Author: Marc Aubry
Publisher:
ISBN: 9783034890878
Category :
Languages : en
Pages : 132

Get Book

Book Description
This book is based upon notes taken by the author at the DMV Seminar on Algebraic Models of Homotopy Types led by H.J. Baues, S. Halperin and J.-M. Lemaire in 1988. The notes have been substantially reorganized and expanded for this publication and now include some additional important proofs. The aim of the work is to provide an overview of homotopy theory from the point of view of algebraic models of homotopy types, leading the reader from the basic definitions in algebraic topology to specific fields of research. The exposition is directed towards graduate students as well as researchers from other fields. Due to the scope and size of this book, only a few complete proofs could be given. But the fundamental concepts and methods of the subject are pointed out, and a number of recent results are included together with the essential bibliographic references. The text begins with a review of the basic notions of homotopy theory. An extensive discussion of rational homotopy theory, emphasizing both the Sullivan and the Quillen models, follows. Next, the Adams-Hilton and the Anick models are shown to yield some integral information. The last chapter gives an introduction to the integral classification of homotopy types, along the lines initiated by J.H.C. Whitehead and considerably developed by H. Baues during the last decade.

Foundations of Stable Homotopy Theory

Foundations of Stable Homotopy Theory PDF Author: David Barnes
Publisher: Cambridge University Press
ISBN: 1108672671
Category : Mathematics
Languages : en
Pages : 432

Get Book

Book Description
The beginning graduate student in homotopy theory is confronted with a vast literature on spectra that is scattered across books, articles and decades. There is much folklore but very few easy entry points. This comprehensive introduction to stable homotopy theory changes that. It presents the foundations of the subject together in one place for the first time, from the motivating phenomena to the modern theory, at a level suitable for those with only a first course in algebraic topology. Starting from stable homotopy groups and (co)homology theories, the authors study the most important categories of spectra and the stable homotopy category, before moving on to computational aspects and more advanced topics such as monoidal structures, localisations and chromatic homotopy theory. The appendix containing essential facts on model categories, the numerous examples and the suggestions for further reading make this a friendly introduction to an often daunting subject.

More Concise Algebraic Topology

More Concise Algebraic Topology PDF Author: J. P. May
Publisher: University of Chicago Press
ISBN: 0226511782
Category : Mathematics
Languages : en
Pages : 544

Get Book

Book Description
With firm foundations dating only from the 1950s, algebraic topology is a relatively young area of mathematics. There are very few textbooks that treat fundamental topics beyond a first course, and many topics now essential to the field are not treated in any textbook. J. Peter May’s A Concise Course in Algebraic Topology addresses the standard first course material, such as fundamental groups, covering spaces, the basics of homotopy theory, and homology and cohomology. In this sequel, May and his coauthor, Kathleen Ponto, cover topics that are essential for algebraic topologists and others interested in algebraic topology, but that are not treated in standard texts. They focus on the localization and completion of topological spaces, model categories, and Hopf algebras. The first half of the book sets out the basic theory of localization and completion of nilpotent spaces, using the most elementary treatment the authors know of. It makes no use of simplicial techniques or model categories, and it provides full details of other necessary preliminaries. With these topics as motivation, most of the second half of the book sets out the theory of model categories, which is the central organizing framework for homotopical algebra in general. Examples from topology and homological algebra are treated in parallel. A short last part develops the basic theory of bialgebras and Hopf algebras.