Author: Emily Riehl
Publisher: Cambridge University Press
ISBN: 1139952633
Category : Mathematics
Languages : en
Pages : 371
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
Author: Emily Riehl
Publisher: Cambridge University Press
ISBN: 1139952633
Category : Mathematics
Languages : en
Pages : 371
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.
Publisher: Cambridge University Press
ISBN: 1139952633
Category : Mathematics
Languages : en
Pages : 371
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.
Homotopy Theory of Diagrams
Author: Wojciech Chachlski
Publisher: American Mathematical Soc.
ISBN: 9780821864586
Category : Mathematics
Languages : en
Pages : 108
Book Description
In this paper we develop homotopy theoretical methods for studying diagrams. In particular we explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept we introduce is that of a model approximation. A model approximation of a category $\mathcal{C}$ with a given class of weak equivalences is a model category $\mathcal{M}$ together with a pair of adjoint functors $\mathcal{M} \rightleftarrows \mathcal{C}$ which satisfy certain properties. Our key result says that if $\mathcal{C}$ admits a model approximation then so does the functor category $Fun(I, \mathcal{C})$. From the homotopy theoretical point of view categories with model approximations have similar properties to those of model categories. They admit homotopy categories (localizations with respect to weak equivalences). They also can be used to construct derived functors by taking the analogs of fibrant and cofibrant replacements. A category with weak equivalences can have several useful model approximations. We take advantage of this possibility and in each situation choose one that suits our needs. In this way we prove all the fundamental properties of the homotopy colimit and limit: Fubini Theorem (the homotopy colimit -respectively limit- commutes with itself), Thomason's theorem about diagrams indexed by Grothendieck constructions, and cofinality statements. Since the model approximations we present here consist of certain functors ``indexed by spaces'', the key role in all our arguments is played by the geometric nature of the indexing categories.
Publisher: American Mathematical Soc.
ISBN: 9780821864586
Category : Mathematics
Languages : en
Pages : 108
Book Description
In this paper we develop homotopy theoretical methods for studying diagrams. In particular we explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept we introduce is that of a model approximation. A model approximation of a category $\mathcal{C}$ with a given class of weak equivalences is a model category $\mathcal{M}$ together with a pair of adjoint functors $\mathcal{M} \rightleftarrows \mathcal{C}$ which satisfy certain properties. Our key result says that if $\mathcal{C}$ admits a model approximation then so does the functor category $Fun(I, \mathcal{C})$. From the homotopy theoretical point of view categories with model approximations have similar properties to those of model categories. They admit homotopy categories (localizations with respect to weak equivalences). They also can be used to construct derived functors by taking the analogs of fibrant and cofibrant replacements. A category with weak equivalences can have several useful model approximations. We take advantage of this possibility and in each situation choose one that suits our needs. In this way we prove all the fundamental properties of the homotopy colimit and limit: Fubini Theorem (the homotopy colimit -respectively limit- commutes with itself), Thomason's theorem about diagrams indexed by Grothendieck constructions, and cofinality statements. Since the model approximations we present here consist of certain functors ``indexed by spaces'', the key role in all our arguments is played by the geometric nature of the indexing categories.
Homotopy Theory of Diagrams
Author: Wojciech Chachólski
Publisher: American Mathematical Soc.
ISBN: 0821827596
Category : Mathematics
Languages : en
Pages : 106
Book Description
In this paper the authors develop homotopy theoretical methods for studying diagrams. In particular they explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept introduced is that of a model approximation. A model approximation of a category $\mathcal{C}$ with a given class of weak equivalences is a model category $\mathcal{M}$ together with a pair of adjoint functors $\mathcal{M} \rightleftarrows \mathcal{C}$ which satisfy certain properties. The key result says that if $\mathcal{C}$ admits a model approximation then so does the functor category $Fun(I, \mathcal{C})$.
Publisher: American Mathematical Soc.
ISBN: 0821827596
Category : Mathematics
Languages : en
Pages : 106
Book Description
In this paper the authors develop homotopy theoretical methods for studying diagrams. In particular they explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept introduced is that of a model approximation. A model approximation of a category $\mathcal{C}$ with a given class of weak equivalences is a model category $\mathcal{M}$ together with a pair of adjoint functors $\mathcal{M} \rightleftarrows \mathcal{C}$ which satisfy certain properties. The key result says that if $\mathcal{C}$ admits a model approximation then so does the functor category $Fun(I, \mathcal{C})$.
Cubical Homotopy Theory
Author: Brian A. Munson
Publisher: Cambridge University Press
ISBN: 1107030250
Category : Mathematics
Languages : en
Pages : 649
Book Description
A modern, example-driven introduction to cubical diagrams and related topics such as homotopy limits and cosimplicial spaces.
Publisher: Cambridge University Press
ISBN: 1107030250
Category : Mathematics
Languages : en
Pages : 649
Book Description
A modern, example-driven introduction to cubical diagrams and related topics such as homotopy limits and cosimplicial spaces.
From Categories to Homotopy Theory
Author: Birgit Richter
Publisher: Cambridge University Press
ISBN: 1108847625
Category : Mathematics
Languages : en
Pages : 402
Book Description
Category theory provides structure for the mathematical world and is seen everywhere in modern mathematics. With this book, the author bridges the gap between pure category theory and its numerous applications in homotopy theory, providing the necessary background information to make the subject accessible to graduate students or researchers with a background in algebraic topology and algebra. The reader is first introduced to category theory, starting with basic definitions and concepts before progressing to more advanced themes. Concrete examples and exercises illustrate the topics, ranging from colimits to constructions such as the Day convolution product. Part II covers important applications of category theory, giving a thorough introduction to simplicial objects including an account of quasi-categories and Segal sets. Diagram categories play a central role throughout the book, giving rise to models of iterated loop spaces, and feature prominently in functor homology and homology of small categories.
Publisher: Cambridge University Press
ISBN: 1108847625
Category : Mathematics
Languages : en
Pages : 402
Book Description
Category theory provides structure for the mathematical world and is seen everywhere in modern mathematics. With this book, the author bridges the gap between pure category theory and its numerous applications in homotopy theory, providing the necessary background information to make the subject accessible to graduate students or researchers with a background in algebraic topology and algebra. The reader is first introduced to category theory, starting with basic definitions and concepts before progressing to more advanced themes. Concrete examples and exercises illustrate the topics, ranging from colimits to constructions such as the Day convolution product. Part II covers important applications of category theory, giving a thorough introduction to simplicial objects including an account of quasi-categories and Segal sets. Diagram categories play a central role throughout the book, giving rise to models of iterated loop spaces, and feature prominently in functor homology and homology of small categories.
Homotopy Limits, Completions and Localizations
Author: A. K. Bousfield
Publisher: Springer
ISBN: 3540381171
Category : Mathematics
Languages : en
Pages : 355
Book Description
The main purpose of part I of these notes is to develop for a ring R a functional notion of R-completion of a space X. For R=Zp and X subject to usual finiteness condition, the R-completion coincides up to homotopy, with the p-profinite completion of Quillen and Sullivan; for R a subring of the rationals, the R-completion coincides up to homotopy, with the localizations of Quillen, Sullivan and others. In part II of these notes, the authors have assembled some results on towers of fibrations, cosimplicial spaces and homotopy limits which were needed in the discussions of part I, but which are of some interest in themselves.
Publisher: Springer
ISBN: 3540381171
Category : Mathematics
Languages : en
Pages : 355
Book Description
The main purpose of part I of these notes is to develop for a ring R a functional notion of R-completion of a space X. For R=Zp and X subject to usual finiteness condition, the R-completion coincides up to homotopy, with the p-profinite completion of Quillen and Sullivan; for R a subring of the rationals, the R-completion coincides up to homotopy, with the localizations of Quillen, Sullivan and others. In part II of these notes, the authors have assembled some results on towers of fibrations, cosimplicial spaces and homotopy limits which were needed in the discussions of part I, but which are of some interest in themselves.
Equivariant Stable Homotopy Theory and the Kervaire Invariant Problem
Author: Michael A. Hill
Publisher: Cambridge University Press
ISBN: 1108831443
Category : Mathematics
Languages : en
Pages : 881
Book Description
A complete and definitive account of the authors' resolution of the Kervaire invariant problem in stable homotopy theory.
Publisher: Cambridge University Press
ISBN: 1108831443
Category : Mathematics
Languages : en
Pages : 881
Book Description
A complete and definitive account of the authors' resolution of the Kervaire invariant problem in stable homotopy theory.
Homotopy Type Theory: Univalent Foundations of Mathematics
Author:
Publisher: Univalent Foundations
ISBN:
Category :
Languages : en
Pages : 484
Book Description
Publisher: Univalent Foundations
ISBN:
Category :
Languages : en
Pages : 484
Book Description
Simplicial Homotopy Theory
Author: Paul G. Goerss
Publisher: Birkhäuser
ISBN: 3034887078
Category : Mathematics
Languages : en
Pages : 520
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.
Publisher: Birkhäuser
ISBN: 3034887078
Category : Mathematics
Languages : en
Pages : 520
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.
Nilpotence and Periodicity in Stable Homotopy Theory
Author: Douglas C. Ravenel
Publisher: Princeton University Press
ISBN: 9780691025728
Category : Mathematics
Languages : en
Pages : 228
Book Description
Nilpotence and Periodicity in Stable Homotopy Theory describes some major advances made in algebraic topology in recent years, centering on the nilpotence and periodicity theorems, which were conjectured by the author in 1977 and proved by Devinatz, Hopkins, and Smith in 1985. During the last ten years a number of significant advances have been made in homotopy theory, and this book fills a real need for an up-to-date text on that topic. Ravenel's first few chapters are written with a general mathematical audience in mind. They survey both the ideas that lead up to the theorems and their applications to homotopy theory. The book begins with some elementary concepts of homotopy theory that are needed to state the problem. This includes such notions as homotopy, homotopy equivalence, CW-complex, and suspension. Next the machinery of complex cobordism, Morava K-theory, and formal group laws in characteristic p are introduced. The latter portion of the book provides specialists with a coherent and rigorous account of the proofs. It includes hitherto unpublished material on the smash product and chromatic convergence theorems and on modular representations of the symmetric group.
Publisher: Princeton University Press
ISBN: 9780691025728
Category : Mathematics
Languages : en
Pages : 228
Book Description
Nilpotence and Periodicity in Stable Homotopy Theory describes some major advances made in algebraic topology in recent years, centering on the nilpotence and periodicity theorems, which were conjectured by the author in 1977 and proved by Devinatz, Hopkins, and Smith in 1985. During the last ten years a number of significant advances have been made in homotopy theory, and this book fills a real need for an up-to-date text on that topic. Ravenel's first few chapters are written with a general mathematical audience in mind. They survey both the ideas that lead up to the theorems and their applications to homotopy theory. The book begins with some elementary concepts of homotopy theory that are needed to state the problem. This includes such notions as homotopy, homotopy equivalence, CW-complex, and suspension. Next the machinery of complex cobordism, Morava K-theory, and formal group laws in characteristic p are introduced. The latter portion of the book provides specialists with a coherent and rigorous account of the proofs. It includes hitherto unpublished material on the smash product and chromatic convergence theorems and on modular representations of the symmetric group.