Atnaujinkite slapukų nuostatas

Higher Categories and Homotopical Algebra [Kietas viršelis]

(Universität Regensburg, Germany)
  • Formatas: Hardback, 448 pages, aukštis x plotis x storis: 234x157x29 mm, weight: 750 g, Worked examples or Exercises
  • Serija: Cambridge Studies in Advanced Mathematics
  • Išleidimo metai: 02-May-2019
  • Leidėjas: Cambridge University Press
  • ISBN-10: 1108473202
  • ISBN-13: 9781108473200
Kitos knygos pagal šią temą:
  • Formatas: Hardback, 448 pages, aukštis x plotis x storis: 234x157x29 mm, weight: 750 g, Worked examples or Exercises
  • Serija: Cambridge Studies in Advanced Mathematics
  • Išleidimo metai: 02-May-2019
  • Leidėjas: Cambridge University Press
  • ISBN-10: 1108473202
  • ISBN-13: 9781108473200
Kitos knygos pagal šią temą:
This user-friendly book introduces modern homotopy theory through the lens of higher categories after Joyal and Lurie. Starting from scratch it guides graduate students and researchers through the powerful tools that the theory provides for applications in such areas as algebraic geometry, representation theory, algebra and logic.

This book provides an introduction to modern homotopy theory through the lens of higher categories after Joyal and Lurie, giving access to methods used at the forefront of research in algebraic topology and algebraic geometry in the twenty-first century. The text starts from scratch - revisiting results from classical homotopy theory such as Serre's long exact sequence, Quillen's theorems A and B, Grothendieck's smooth/proper base change formulas, and the construction of the Kan–Quillen model structure on simplicial sets - and develops an alternative to a significant part of Lurie's definitive reference Higher Topos Theory, with new constructions and proofs, in particular, the Yoneda Lemma and Kan extensions. The strong emphasis on homotopical algebra provides clear insights into classical constructions such as calculus of fractions, homotopy limits and derived functors. For graduate students and researchers from neighbouring fields, this book is a user-friendly guide to advanced tools that the theory provides for application.

Recenzijos

'Category theory is concerned with the organisation and construction of general mathematical structures, while homotopy theory is devoted to the study of abstract shapes associated to geometric forms. This book is a window into the new field of mathematics emerging from the convergence of these two branches of mathematics It was conjectured a few decades ago that category theory has a natural extension to quasi-categories (also called infinity-category), a notion introduced by Michael Boardman and Reiner Vogt in the early nineteen-seventies This book widens and deepens the extension with the addition of a new theory of presheaves inspired by type theory and a new theory of localisation; it proposes an extension of homotopical algebra to quasi-categories, offers new applications, and brings important simplification to earlier works. It is an excellent introduction to the subject and may be used for an advanced course.' André Joyal, Université du Québec ą Montréal, Canada 'Denis-Charles Cisinski offers a masterful introduction to the world of infinity-categories, illustrating the necessary intuition all throughout. A complete and clear exposition of the foundations leads naturally to a full course teaching us how to handle all aspects of homotopical algebra within the theory.' Carlos Simpson, French National Center for Scientific Research, Université Cōte d'Azur, France 'In recent years the methods of homotopy theory have seen increasingly wide applications in mathematics, and the framework of abstract homotopy theory has been found to be an important lens through which to view many mathematical structures. This book offers a single, self-contained place to learn about the extensive modern facets of abstract homotopy theory. Readers will appreciate Cisinski's thoughtful choice of details and his carefully articulated philosophical point of view. This is an excellent resource for mathematicians experiencing first contact with the subject and for more seasoned researchers in the area.' Michael Hopkins, Harvard University 'As someone doing research and advising graduate students in a closely-related area, I am happy to see a book like this in the literature. It will help readers to learn this subject, and to gain a deep understanding of the foundational ideas.' Julie Bergner, MAA Reviews

Daugiau informacijos

At last, a friendly introduction to modern homotopy theory after Joyal and Lurie, reaching advanced tools and starting from scratch.
Preface ix
1 Prelude
1(26)
1.1 Presheaves
1(6)
1.2 The Category of Simplicial Sets
7(2)
1.3 Cellular Filtrations
9(5)
1.4 Nerves
14(5)
1.5 Definition of ∞-Categories
19(2)
1.6 The Boardman--Vogt Construction
21(6)
2 Basic Homotopical Algebra
27(45)
2.1 Factorisation Systems
28(5)
2.2 Model Categories
33(8)
2.3 Derived Functors
41(9)
2.4 Model Structures ex Nihilo
50(18)
2.5 Absolute Weak Equivalences
68(4)
3 The Homotopy Theory of ∞-Categories
72(64)
3.1 Kan Fibrations and the Kan--Quillen Model Structure
73(15)
3.2 Inner Anodyne Extensions
88(4)
3.3 The Joyal Model Category Structure
92(6)
3.4 Left or Right Fibrations, Joins and Slices
98(8)
3.5 Invertible Natural Transformations
106(6)
3.6 ∞-Categories as Fibrant Objects
112(4)
3.7 The Boardman--Vogt Construction, Revisited
116(4)
3.8 Serre's Long Exact Sequence
120(10)
3.9 Fully Faithful and Essentially Surjective Functors
130(6)
4 Presheaves: Externally
136(47)
4.1 Categories Fibrees en ∞-Groupoides
136(8)
4.2 Mapping Spaces as Fibres of Slices
144(5)
4.3 Final Objects
149(6)
4.4 Grothendieck Base Change Formulas and Quillen's Theorem A
155(17)
4.5 Fully Faithful and Essentially Surjective Functors, Revisited
172(3)
4.6 Locally Constant Functors and Quillen's Theorem B
175(8)
5 Presheaves: Internally
183(77)
5.1 Minimal Fibrations
184(11)
5.2 The Universal Left Fibration
195(9)
5.3 Homotopy Classification of Left Fibrations
204(12)
5.4 Rectification of Morphisms
216(9)
5.5 Bivariant Model Category Structures
225(12)
5.6 The Twisted Diagonal
237(5)
5.7 Locally Small ∞-Categories
242(6)
5.8 The Yoneda Lemma
248(12)
6 Adjoints, Limits and Kan Extensions
260(56)
6.1 Adjoints
261(13)
6.2 Limits and Colimits
274(8)
6.3 Extensions of Functors by Colimits
282(8)
6.4 Kan Extensions
290(6)
6.5 The Cartesian Product
296(8)
6.6 Fibre Products
304(8)
6.7 Duality
312(4)
7 Homotopical Algebra
316(105)
7.1 Localisation
319(9)
7.2 Calculus of Fractions
328(11)
7.3 Constructions of Limits
339(15)
7.4 Finite Direct Diagrams
354(12)
7.5 Derived Functors
366(16)
7.6 Equivalences of ∞-Categories with Finite Limits
382(10)
7.7 Homotopy Completeness
392(4)
7.8 The Homotopy Hypothesis
396(6)
7.9 Homotopy Limits as Limits
402(7)
7.10 Mapping Spaces in Locally Small Localisations
409(4)
7.11 Presentable ∞-Categories
413(8)
Bibliography 421(5)
Notation 426(2)
Index 428
Denis-Charles Cisinski is Professor of Mathematics at the Universität Regensburg, Germany. His research focuses on homotopical algebra, category theory, K-theory and the cohomology of schemes. He is also the author of a monograph entitled Les préfaisceaux comme modčles des types d'homotopie (2007).