Categorical Homotopy Theory PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Categorical Homotopy Theory PDF full book. Access full book title Categorical Homotopy Theory by Emily Riehl. Download full books in PDF and EPUB format.
Author: Emily Riehl
Publisher: Cambridge University Press
ISBN: 1139952633
Category : Mathematics
Languages : en
Pages : 371
Get Book Here
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.
Author: Emily Riehl
Publisher: Cambridge University Press
ISBN: 1139952633
Category : Mathematics
Languages : en
Pages : 371
Get Book Here
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.
Author: William G. Dwyer
Publisher: American Mathematical Society(RI)
ISBN: 9780821837030
Category : Homotopy theory
Languages : en
Pages : 0
Get Book Here
Book Description
The purpose of this monograph, which is aimed at the graduate level and beyond, is to obtain a deeper understanding of Quillen's model categories. A model category is a category together with three distinguished classes of maps, called weak equivalences, cofibrations, and fibrations. Model categories have become a standard tool in algebraic topology and homological algebra and, increasingly, in other fields where homotopy theoretic ideas are becoming important, such as algebraic $K$-theory and algebraic geometry. The authors' approach is to define the notion of a homotopical category, which is more general than that of a model category, and to consider model categories as special cases of this. A homotopical category is a category with only a single distinguished class of maps, called weak equivalences, subject to an appropriate axiom. This enables one to define ``homotopical'' versions of such basic categorical notions as initial and terminal objects, colimit and limit functors, cocompleteness and completeness, adjunctions, Kan extensions, and universal properties. There are two essentially self-contained parts, and part II logically precedes part I. Part II defines and develops the notion of a homotopical category and can be considered as the beginnings of a kind of ``relative'' category theory. The results of part II are used in part I to obtain a deeper understanding of model categories. The authors show in particular that model categories are homotopically cocomplete and complete in a sense stronger than just the requirement of the existence of small homotopy colimit and limit functors. A reader of part II is assumed to have only some familiarity with the above-mentioned categorical notions. Those who read part I, and especially its introductory chapter, should also know something about model categories.
Author: William G. Dwyer
Publisher: American Mathematical Soc.
ISBN: 0821839756
Category : Mathematics
Languages : en
Pages : 194
Get Book Here
Book Description
The purpose of this monograph, which is aimed at the graduate level and beyond, is to obtain a deeper understanding of Quillen's model categories. A model category is a category together with three distinguished classes of maps, called weak equivalences, cofibrations, and fibrations. Model categories have become a standard tool in algebraic topology and homological algebra and, increasingly, in other fields where homotopy theoretic ideas are becoming important, such as algebraic $K$-theory and algebraic geometry. The authors' approach is to define the notion of a homotopical category, which is more general than that of a model category, and to consider model categories as special cases of this. A homotopical category is a category with only a single distinguished class of maps, called weak equivalences, subject to an appropriate axiom. This enables one to define ``homotopical'' versions of such basic categorical notions as initial and terminal objects, colimit and limit functors, cocompleteness and completeness, adjunctions, Kan extensions, and universal properties. There are two essentially self-contained parts, and part II logically precedes part I. Part II defines and develops the notion of a homotopical category and can be considered as the beginnings of a kind of ``relative'' category theory. The results of part II are used in part I to obtain a deeper understanding of model categories. The authors show in particular that model categories are homotopically cocomplete and complete in a sense stronger than just the requirement of the existence of small homotopy colimit and limit functors. A reader of part II is assumed to have only some familiarity with the above-mentioned categorical notions. Those who read part I, and especially its introductory chapter, should also know something about model categories.
Author: William G. Dwyer
Publisher: American Mathematical Soc.
ISBN: 9780821839751
Category : Mathematics
Languages : en
Pages : 194
Get Book Here
Book Description
The purpose of this monograph, which is aimed at the graduate level and beyond, is to obtain a deeper understanding of Quillen's model categories. A model category is a category together with three distinguished classes of maps, called weak equivalences, cofibrations, and fibrations. Model categories have become a standard tool in algebraic topology and homological algebra and, increasingly, in other fields where homotopy theoretic ideas are becoming important, such as algebraic $K$-theory and algebraic geometry. The authors' approach is to define the notion of a homotopical category, which is more general than that of a model category, and to consider model categories as special cases of this. A homotopical category is a category with only a single distinguished class of maps, called weak equivalences, subject to an appropriate axiom. This enables one to define ``homotopical'' versions of such basic categorical notions as initial and terminal objects, colimit and limit functors, cocompleteness and completeness, adjunctions, Kan extensions, and universal properties. There are two essentially self-contained parts, and part II logically precedes part I. Part II defines and develops the notion of a homotopical category and can be considered as the beginnings of a kind of ``relative'' category theory. The results of part II are used in part I to obtain a deeper understanding of model categories. The authors show in particular that model categories are homotopically cocomplete and complete in a sense stronger than just the requirement of the existence of small homotopy colimit and limit functors. A reader of part II is assumed to have only some familiarity with the above-mentioned categorical notions. Those who read part I, and especially its introductory chapter, should also know something about model categories.
Author: Mark Hovey
Publisher: American Mathematical Soc.
ISBN: 0821843613
Category : Mathematics
Languages : en
Pages : 229
Get Book Here
Book Description
Model categories are used as a tool for inverting certain maps in a category in a controllable manner. They are useful in diverse areas of mathematics. This book offers a comprehensive study of the relationship between a model category and its homotopy category. It develops the theory of model categories, giving a development of the main examples.
Author: Philip S. Hirschhorn
Publisher: American Mathematical Soc.
ISBN: 0821849174
Category : Mathematics
Languages : en
Pages : 482
Get Book Here
Book Description
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: Denis-Charles Cisinski
Publisher: Cambridge University Press
ISBN: 1108473202
Category : Mathematics
Languages : en
Pages : 449
Get Book Here
Book Description
At last, a friendly introduction to modern homotopy theory after Joyal and Lurie, reaching advanced tools and starting from scratch.
Author: Birgit Richter
Publisher: Cambridge University Press
ISBN: 1108847625
Category : Mathematics
Languages : en
Pages : 402
Get Book Here
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.
Author: Emily Riehl
Publisher: Cambridge University Press
ISBN: 1108952194
Category : Mathematics
Languages : en
Pages : 782
Get Book Here
Book Description
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: Paul G. Goerss
Publisher: Birkhäuser
ISBN: 3034887078
Category : Mathematics
Languages : en
Pages : 520
Get Book Here
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.
