Author: Tobias Dyckerhoff
Publisher: Springer Nature
ISBN: 3030271242
Category : Mathematics
Languages : en
Pages : 230
Book Description
This monograph initiates a theory of new categorical structures that generalize the simplicial Segal property to higher dimensions. The authors introduce the notion of a d-Segal space, which is a simplicial space satisfying locality conditions related to triangulations of d-dimensional cyclic polytopes. Focus here is on the 2-dimensional case. Many important constructions are shown to exhibit the 2-Segal property, including Waldhausen’s S-construction, Hecke-Waldhausen constructions, and configuration spaces of flags. The relevance of 2-Segal spaces in the study of Hall and Hecke algebras is discussed. Higher Segal Spaces marks the beginning of a program to systematically study d-Segal spaces in all dimensions d. The elementary formulation of 2-Segal spaces in the opening chapters is accessible to readers with a basic background in homotopy theory. A chapter on Bousfield localizations provides a transition to the general theory, formulated in terms of combinatorial model categories, that features in the main part of the book. Numerous examples throughout assist readers entering this exciting field to move toward active research; established researchers in the area will appreciate this work as a reference.
Higher Segal Spaces
Author: Tobias Dyckerhoff
Publisher: Springer Nature
ISBN: 3030271242
Category : Mathematics
Languages : en
Pages : 230
Book Description
This monograph initiates a theory of new categorical structures that generalize the simplicial Segal property to higher dimensions. The authors introduce the notion of a d-Segal space, which is a simplicial space satisfying locality conditions related to triangulations of d-dimensional cyclic polytopes. Focus here is on the 2-dimensional case. Many important constructions are shown to exhibit the 2-Segal property, including Waldhausen’s S-construction, Hecke-Waldhausen constructions, and configuration spaces of flags. The relevance of 2-Segal spaces in the study of Hall and Hecke algebras is discussed. Higher Segal Spaces marks the beginning of a program to systematically study d-Segal spaces in all dimensions d. The elementary formulation of 2-Segal spaces in the opening chapters is accessible to readers with a basic background in homotopy theory. A chapter on Bousfield localizations provides a transition to the general theory, formulated in terms of combinatorial model categories, that features in the main part of the book. Numerous examples throughout assist readers entering this exciting field to move toward active research; established researchers in the area will appreciate this work as a reference.
Publisher: Springer Nature
ISBN: 3030271242
Category : Mathematics
Languages : en
Pages : 230
Book Description
This monograph initiates a theory of new categorical structures that generalize the simplicial Segal property to higher dimensions. The authors introduce the notion of a d-Segal space, which is a simplicial space satisfying locality conditions related to triangulations of d-dimensional cyclic polytopes. Focus here is on the 2-dimensional case. Many important constructions are shown to exhibit the 2-Segal property, including Waldhausen’s S-construction, Hecke-Waldhausen constructions, and configuration spaces of flags. The relevance of 2-Segal spaces in the study of Hall and Hecke algebras is discussed. Higher Segal Spaces marks the beginning of a program to systematically study d-Segal spaces in all dimensions d. The elementary formulation of 2-Segal spaces in the opening chapters is accessible to readers with a basic background in homotopy theory. A chapter on Bousfield localizations provides a transition to the general theory, formulated in terms of combinatorial model categories, that features in the main part of the book. Numerous examples throughout assist readers entering this exciting field to move toward active research; established researchers in the area will appreciate this work as a reference.
Higher Topos Theory
Author: Jacob Lurie
Publisher: Princeton University Press
ISBN: 0691140480
Category : Mathematics
Languages : en
Pages : 944
Book Description
In 'Higher Topos Theory', Jacob Lurie presents the foundations of this theory using the language of weak Kan complexes introduced by Boardman and Vogt, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.
Publisher: Princeton University Press
ISBN: 0691140480
Category : Mathematics
Languages : en
Pages : 944
Book Description
In 'Higher Topos Theory', Jacob Lurie presents the foundations of this theory using the language of weak Kan complexes introduced by Boardman and Vogt, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.
Homotopy Theory of Higher Categories
Author: Carlos Simpson
Publisher: Cambridge University Press
ISBN: 1139502190
Category : Mathematics
Languages : en
Pages : 653
Book Description
The study of higher categories is attracting growing interest for its many applications in topology, algebraic geometry, mathematical physics and category theory. In this highly readable book, Carlos Simpson develops a full set of homotopical algebra techniques and proposes a working theory of higher categories. Starting with a cohesive overview of the many different approaches currently used by researchers, the author proceeds with a detailed exposition of one of the most widely used techniques: the construction of a Cartesian Quillen model structure for higher categories. The fully iterative construction applies to enrichment over any Cartesian model category, and yields model categories for weakly associative n-categories and Segal n-categories. A corollary is the construction of higher functor categories which fit together to form the (n+1)-category of n-categories. The approach uses Tamsamani's definition based on Segal's ideas, iterated as in Pelissier's thesis using modern techniques due to Barwick, Bergner, Lurie and others.
Publisher: Cambridge University Press
ISBN: 1139502190
Category : Mathematics
Languages : en
Pages : 653
Book Description
The study of higher categories is attracting growing interest for its many applications in topology, algebraic geometry, mathematical physics and category theory. In this highly readable book, Carlos Simpson develops a full set of homotopical algebra techniques and proposes a working theory of higher categories. Starting with a cohesive overview of the many different approaches currently used by researchers, the author proceeds with a detailed exposition of one of the most widely used techniques: the construction of a Cartesian Quillen model structure for higher categories. The fully iterative construction applies to enrichment over any Cartesian model category, and yields model categories for weakly associative n-categories and Segal n-categories. A corollary is the construction of higher functor categories which fit together to form the (n+1)-category of n-categories. The approach uses Tamsamani's definition based on Segal's ideas, iterated as in Pelissier's thesis using modern techniques due to Barwick, Bergner, Lurie and others.
Infinity Properads and Infinity Wheeled Properads
Author: Philip Hackney
Publisher: Springer
ISBN: 3319205471
Category : Mathematics
Languages : en
Pages : 368
Book Description
The topic of this book sits at the interface of the theory of higher categories (in the guise of (∞,1)-categories) and the theory of properads. Properads are devices more general than operads and enable one to encode bialgebraic, rather than just (co)algebraic, structures. The text extends both the Joyal-Lurie approach to higher categories and the Cisinski-Moerdijk-Weiss approach to higher operads, and provides a foundation for a broad study of the homotopy theory of properads. This work also serves as a complete guide to the generalised graphs which are pervasive in the study of operads and properads. A preliminary list of potential applications and extensions comprises the final chapter. Infinity Properads and Infinity Wheeled Properads is written for mathematicians in the fields of topology, algebra, category theory, and related areas. It is written roughly at the second year graduate level, and assumes a basic knowledge of category theory.
Publisher: Springer
ISBN: 3319205471
Category : Mathematics
Languages : en
Pages : 368
Book Description
The topic of this book sits at the interface of the theory of higher categories (in the guise of (∞,1)-categories) and the theory of properads. Properads are devices more general than operads and enable one to encode bialgebraic, rather than just (co)algebraic, structures. The text extends both the Joyal-Lurie approach to higher categories and the Cisinski-Moerdijk-Weiss approach to higher operads, and provides a foundation for a broad study of the homotopy theory of properads. This work also serves as a complete guide to the generalised graphs which are pervasive in the study of operads and properads. A preliminary list of potential applications and extensions comprises the final chapter. Infinity Properads and Infinity Wheeled Properads is written for mathematicians in the fields of topology, algebra, category theory, and related areas. It is written roughly at the second year graduate level, and assumes a basic knowledge of category theory.
Towards Higher Categories
Author: John C. Baez
Publisher: Springer Science & Business Media
ISBN: 1441915362
Category : Algebra
Languages : en
Pages : 292
Book Description
The purpose of this book is to give background for those who would like to delve into some higher category theory. It is not a primer on higher category theory itself. It begins with a paper by John Baez and Michael Shulman which explores informally, by analogy and direct connection, how cohomology and other tools of algebraic topology are seen through the eyes of n-category theory. The idea is to give some of the motivations behind this subject. There are then two survey articles, by Julie Bergner and Simona Paoli, about (infinity,1) categories and about the algebraic modelling of homotopy n-types. These are areas that are particularly well understood, and where a fully integrated theory exists. The main focus of the book is on the richness to be found in the theory of bicategories, which gives the essential starting point towards the understanding of higher categorical structures. An article by Stephen Lack gives a thorough, but informal, guide to this theory. A paper by Larry Breen on the theory of gerbes shows how such categorical structures appear in differential geometry. This book is dedicated to Max Kelly, the founder of the Australian school of category theory, and an historical paper by Ross Street describes its development.
Publisher: Springer Science & Business Media
ISBN: 1441915362
Category : Algebra
Languages : en
Pages : 292
Book Description
The purpose of this book is to give background for those who would like to delve into some higher category theory. It is not a primer on higher category theory itself. It begins with a paper by John Baez and Michael Shulman which explores informally, by analogy and direct connection, how cohomology and other tools of algebraic topology are seen through the eyes of n-category theory. The idea is to give some of the motivations behind this subject. There are then two survey articles, by Julie Bergner and Simona Paoli, about (infinity,1) categories and about the algebraic modelling of homotopy n-types. These are areas that are particularly well understood, and where a fully integrated theory exists. The main focus of the book is on the richness to be found in the theory of bicategories, which gives the essential starting point towards the understanding of higher categorical structures. An article by Stephen Lack gives a thorough, but informal, guide to this theory. A paper by Larry Breen on the theory of gerbes shows how such categorical structures appear in differential geometry. This book is dedicated to Max Kelly, the founder of the Australian school of category theory, and an historical paper by Ross Street describes its development.
Higher Categories and Homotopical Algebra
Author: Denis-Charles Cisinski
Publisher: Cambridge University Press
ISBN: 1108473202
Category : Mathematics
Languages : en
Pages : 449
Book Description
At last, a friendly introduction to modern homotopy theory after Joyal and Lurie, reaching advanced tools and starting from scratch.
Publisher: Cambridge University Press
ISBN: 1108473202
Category : Mathematics
Languages : en
Pages : 449
Book Description
At last, a friendly introduction to modern homotopy theory after Joyal and Lurie, reaching advanced tools and starting from scratch.
Handbook of Homotopy Theory
Author: Haynes Miller
Publisher: CRC Press
ISBN: 1351251600
Category : Mathematics
Languages : en
Pages : 1142
Book Description
The Handbook of Homotopy Theory provides a panoramic view of an active area in mathematics that is currently seeing dramatic solutions to long-standing open problems, and is proving itself of increasing importance across many other mathematical disciplines. The origins of the subject date back to work of Henri Poincaré and Heinz Hopf in the early 20th century, but it has seen enormous progress in the 21st century. A highlight of this volume is an introduction to and diverse applications of the newly established foundational theory of ¥ -categories. The coverage is vast, ranging from axiomatic to applied, from foundational to computational, and includes surveys of applications both geometric and algebraic. The contributors are among the most active and creative researchers in the field. The 22 chapters by 31 contributors are designed to address novices, as well as established mathematicians, interested in learning the state of the art in this field, whose methods are of increasing importance in many other areas.
Publisher: CRC Press
ISBN: 1351251600
Category : Mathematics
Languages : en
Pages : 1142
Book Description
The Handbook of Homotopy Theory provides a panoramic view of an active area in mathematics that is currently seeing dramatic solutions to long-standing open problems, and is proving itself of increasing importance across many other mathematical disciplines. The origins of the subject date back to work of Henri Poincaré and Heinz Hopf in the early 20th century, but it has seen enormous progress in the 21st century. A highlight of this volume is an introduction to and diverse applications of the newly established foundational theory of ¥ -categories. The coverage is vast, ranging from axiomatic to applied, from foundational to computational, and includes surveys of applications both geometric and algebraic. The contributors are among the most active and creative researchers in the field. The 22 chapters by 31 contributors are designed to address novices, as well as established mathematicians, interested in learning the state of the art in this field, whose methods are of increasing importance in many other areas.
Elements of ∞-Category Theory
Author: Emily Riehl
Publisher: Cambridge University Press
ISBN: 1108952194
Category : Mathematics
Languages : en
Pages : 782
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.
Publisher: Cambridge University Press
ISBN: 1108952194
Category : Mathematics
Languages : en
Pages : 782
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.
Higher Operads, Higher Categories
Author: Tom Leinster
Publisher: Cambridge University Press
ISBN: 0521532159
Category : Mathematics
Languages : en
Pages : 451
Book Description
Foundations of higher dimensional category theory for graduate students and researchers in mathematics and mathematical physics.
Publisher: Cambridge University Press
ISBN: 0521532159
Category : Mathematics
Languages : en
Pages : 451
Book Description
Foundations of higher dimensional category theory for graduate students and researchers in mathematics and mathematical physics.
Topology and Quantum Theory in Interaction
Author: David Ayala
Publisher: American Mathematical Soc.
ISBN: 1470442434
Category : Mathematics
Languages : en
Pages : 274
Book Description
This volume contains the proceedings of the NSF-CBMS Regional Conference on Topological and Geometric Methods in QFT, held from July 31–August 4, 2017, at Montana State University in Bozeman, Montana. In recent decades, there has been a movement to axiomatize quantum field theory into a mathematical structure. In a different direction, one can ask to test these axiom systems against physics. Can they be used to rederive known facts about quantum theories or, better yet, be the framework in which to solve open problems? Recently, Freed and Hopkins have provided a solution to a classification problem in condensed matter theory, which is ultimately based on the field theory axioms of Graeme Segal. Papers contained in this volume amplify various aspects of the Freed–Hopkins program, develop some category theory, which lies behind the cobordism hypothesis, the major structure theorem for topological field theories, and relate to Costello's approach to perturbative quantum field theory. Two papers on the latter use this framework to recover fundamental results about some physical theories: two-dimensional sigma-models and the bosonic string. Perhaps it is surprising that such sparse axiom systems encode enough structure to prove important results in physics. These successes can be taken as encouragement that the axiom systems are at least on the right track toward articulating what a quantum field theory is.
Publisher: American Mathematical Soc.
ISBN: 1470442434
Category : Mathematics
Languages : en
Pages : 274
Book Description
This volume contains the proceedings of the NSF-CBMS Regional Conference on Topological and Geometric Methods in QFT, held from July 31–August 4, 2017, at Montana State University in Bozeman, Montana. In recent decades, there has been a movement to axiomatize quantum field theory into a mathematical structure. In a different direction, one can ask to test these axiom systems against physics. Can they be used to rederive known facts about quantum theories or, better yet, be the framework in which to solve open problems? Recently, Freed and Hopkins have provided a solution to a classification problem in condensed matter theory, which is ultimately based on the field theory axioms of Graeme Segal. Papers contained in this volume amplify various aspects of the Freed–Hopkins program, develop some category theory, which lies behind the cobordism hypothesis, the major structure theorem for topological field theories, and relate to Costello's approach to perturbative quantum field theory. Two papers on the latter use this framework to recover fundamental results about some physical theories: two-dimensional sigma-models and the bosonic string. Perhaps it is surprising that such sparse axiom systems encode enough structure to prove important results in physics. These successes can be taken as encouragement that the axiom systems are at least on the right track toward articulating what a quantum field theory is.