Download Free Higher Segal Spaces Book in PDF and EPUB Free Download. You can read online Higher Segal Spaces and write the review.

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.
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.
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.
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.
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.
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.
This volume contains the proceedings of the CATS4 Conference on Higher Categorical Structures and their Interactions with Algebraic Geometry, Algebraic Topology and Algebra, held from July 2-7, 2012, at CIRM in Luminy, France. Over the past several years, the CATS conference series has brought together top level researchers from around the world interested in relative and higher category theory and its applications to classical mathematical domains. Included in this volume is a collection of articles covering the applications of categories and stacks to geometry, topology and algebra. Techniques such as localization, model categories, simplicial objects, sheaves of categories, mapping stacks, dg structures, hereditary categories, and derived stacks, are applied to give new insight on cluster algebra, Lagrangians, trace theories, loop spaces, structured surfaces, stability, ind-coherent complexes and 1-affineness showing up in geometric Langlands, branching out to many related topics along the way.
This volume contains the proceedings of the conference on Manifolds, -Theory, and Related Topics, held from June 23–27, 2014, in Dubrovnik, Croatia. The articles contained in this volume are a collection of research papers featuring recent advances in homotopy theory, -theory, and their applications to manifolds. Topics covered include homotopy and manifold calculus, structured spectra, and their applications to group theory and the geometry of manifolds. This volume is a tribute to the influence of Tom Goodwillie in these fields.
At last, a friendly introduction to modern homotopy theory after Joyal and Lurie, reaching advanced tools and starting from scratch.
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.