Simplicial Methods for Higher Categories

Simplicial Methods for Higher Categories PDF Author: Simona Paoli
Publisher: Springer
ISBN: 3030056740
Category : Mathematics
Languages : en
Pages : 353

Get Book Here

Book Description
This monograph presents a new model of mathematical structures called weak n-categories. These structures find their motivation in a wide range of fields, from algebraic topology to mathematical physics, algebraic geometry and mathematical logic. While strict n-categories are easily defined in terms associative and unital composition operations they are of limited use in applications, which often call for weakened variants of these laws. The author proposes a new approach to this weakening, whose generality arises not from a weakening of such laws but from the very geometric structure of its cells; a geometry dubbed weak globularity. The new model, called weakly globular n-fold categories, is one of the simplest known algebraic structures yielding a model of weak n-categories. The central result is the equivalence of this model to one of the existing models, due to Tamsamani and further studied by Simpson. This theory has intended applications to homotopy theory, mathematical physics and to long-standing open questions in category theory. As the theory is described in elementary terms and the book is largely self-contained, it is accessible to beginning graduate students and to mathematicians from a wide range of disciplines well beyond higher category theory. The new model makes a transparent connection between higher category theory and homotopy theory, rendering it particularly suitable for category theorists and algebraic topologists. Although the results are complex, readers are guided with an intuitive explanation before each concept is introduced, and with diagrams showing the interconnections between the main ideas and results.

Higher Categories and Homotopical Algebra

Higher Categories and Homotopical Algebra PDF 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.

Higher Topos Theory

Higher Topos Theory PDF Author: Jacob Lurie
Publisher: Princeton University Press
ISBN: 0691140480
Category : Mathematics
Languages : en
Pages : 944

Get Book Here

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.

Simplicial Methods for Operads and Algebraic Geometry

Simplicial Methods for Operads and Algebraic Geometry PDF Author: Ieke Moerdijk
Publisher: Springer Science & Business Media
ISBN: 3034800525
Category : Mathematics
Languages : en
Pages : 186

Get Book Here

Book Description
"This book is an introduction to two higher-categorical topics in algebraic topology and algebraic geometry relying on simplicial methods. It is based on lectures delivered at the Centre de Recerca Matemàtica in February 2008, as part of a special year on Homotopy Theory and Higher Categories"--Foreword

Categorical Homotopy Theory

Categorical Homotopy Theory PDF 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.

From Categories to Homotopy Theory

From Categories to Homotopy Theory PDF 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.

Simplicial Objects in Algebraic Topology

Simplicial Objects in Algebraic Topology PDF Author: J. P. May
Publisher: University of Chicago Press
ISBN: 0226511812
Category : Mathematics
Languages : en
Pages : 171

Get Book Here

Book Description
Simplicial sets are discrete analogs of topological spaces. They have played a central role in algebraic topology ever since their introduction in the late 1940s, and they also play an important role in other areas such as geometric topology and algebraic geometry. On a formal level, the homotopy theory of simplicial sets is equivalent to the homotopy theory of topological spaces. In view of this equivalence, one can apply discrete, algebraic techniques to perform basic topological constructions. These techniques are particularly appropriate in the theory of localization and completion of topological spaces, which was developed in the early 1970s. Since it was first published in 1967, Simplicial Objects in Algebraic Topology has been the standard reference for the theory of simplicial sets and their relationship to the homotopy theory of topological spaces. J. Peter May gives a lucid account of the basic homotopy theory of simplicial sets, together with the equivalence of homotopy theories alluded to above. The central theme is the simplicial approach to the theory of fibrations and bundles, and especially the algebraization of fibration and bundle theory in terms of "twisted Cartesian products." The Serre spectral sequence is described in terms of this algebraization. Other topics treated in detail include Eilenberg-MacLane complexes, Postnikov systems, simplicial groups, classifying complexes, simplicial Abelian groups, and acyclic models. "Simplicial Objects in Algebraic Topology presents much of the elementary material of algebraic topology from the semi-simplicial viewpoint. It should prove very valuable to anyone wishing to learn semi-simplicial topology. [May] has included detailed proofs, and he has succeeded very well in the task of organizing a large body of previously scattered material."—Mathematical Review

Simplicial Homotopy Theory

Simplicial Homotopy Theory PDF 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.

Categories for the Working Mathematician

Categories for the Working Mathematician PDF Author: Saunders Mac Lane
Publisher: Springer Science & Business Media
ISBN: 1475747217
Category : Mathematics
Languages : en
Pages : 320

Get Book Here

Book Description
An array of general ideas useful in a wide variety of fields. Starting from the foundations, this book illuminates the concepts of category, functor, natural transformation, and duality. It then turns to adjoint functors, which provide a description of universal constructions, an analysis of the representations of functors by sets of morphisms, and a means of manipulating direct and inverse limits. These categorical concepts are extensively illustrated in the remaining chapters, which include many applications of the basic existence theorem for adjoint functors. The categories of algebraic systems are constructed from certain adjoint-like data and characterised by Beck's theorem. After considering a variety of applications, the book continues with the construction and exploitation of Kan extensions. This second edition includes a number of revisions and additions, including new chapters on topics of active interest: symmetric monoidal categories and braided monoidal categories, and the coherence theorems for them, as well as 2-categories and the higher dimensional categories which have recently come into prominence.

Model Categories

Model Categories PDF 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.