From Categories To Homotopy Theory
Download From Categories To Homotopy Theory full books in PDF, epub, and Kindle. Read online free From Categories To Homotopy Theory ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads.
Author |
: Birgit Richter |
Publisher |
: Cambridge University Press |
Total Pages |
: 402 |
Release |
: 2020-04-16 |
ISBN-10 |
: 9781108847629 |
ISBN-13 |
: 1108847625 |
Rating |
: 4/5 (29 Downloads) |
Synopsis From Categories to Homotopy Theory by : Birgit Richter
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 |
Total Pages |
: 371 |
Release |
: 2014-05-26 |
ISBN-10 |
: 9781139952637 |
ISBN-13 |
: 1139952633 |
Rating |
: 4/5 (37 Downloads) |
Synopsis Categorical Homotopy Theory by : Emily Riehl
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 |
: |
Publisher |
: Univalent Foundations |
Total Pages |
: 484 |
Release |
: |
ISBN-10 |
: |
ISBN-13 |
: |
Rating |
: 4/5 ( Downloads) |
Synopsis Homotopy Type Theory: Univalent Foundations of Mathematics by :
Author |
: Emily Riehl |
Publisher |
: Courier Dover Publications |
Total Pages |
: 273 |
Release |
: 2017-03-09 |
ISBN-10 |
: 9780486820804 |
ISBN-13 |
: 0486820807 |
Rating |
: 4/5 (04 Downloads) |
Synopsis Category Theory in Context by : Emily Riehl
Introduction to concepts of category theory — categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads — revisits a broad range of mathematical examples from the categorical perspective. 2016 edition.
Author |
: Jeffrey Strom |
Publisher |
: American Mathematical Soc. |
Total Pages |
: 862 |
Release |
: 2011-10-19 |
ISBN-10 |
: 9780821852866 |
ISBN-13 |
: 0821852868 |
Rating |
: 4/5 (66 Downloads) |
Synopsis Modern Classical Homotopy Theory by : Jeffrey Strom
The core of classical homotopy theory is a body of ideas and theorems that emerged in the 1950s and was later largely codified in the notion of a model category. This core includes the notions of fibration and cofibration; CW complexes; long fiber and cofiber sequences; loop spaces and suspensions; and so on. Brown's representability theorems show that homology and cohomology are also contained in classical homotopy theory. This text develops classical homotopy theory from a modern point of view, meaning that the exposition is informed by the theory of model categories and that homotopy limits and colimits play central roles. The exposition is guided by the principle that it is generally preferable to prove topological results using topology (rather than algebra). The language and basic theory of homotopy limits and colimits make it possible to penetrate deep into the subject with just the rudiments of algebra. The text does reach advanced territory, including the Steenrod algebra, Bott periodicity, localization, the Exponent Theorem of Cohen, Moore, and Neisendorfer, and Miller's Theorem on the Sullivan Conjecture. Thus the reader is given the tools needed to understand and participate in research at (part of) the current frontier of homotopy theory. Proofs are not provided outright. Rather, they are presented in the form of directed problem sets. To the expert, these read as terse proofs; to novices they are challenges that draw them in and help them to thoroughly understand the arguments.
Author |
: Julia E. Bergner |
Publisher |
: Cambridge University Press |
Total Pages |
: 290 |
Release |
: 2018-03-15 |
ISBN-10 |
: 9781108565042 |
ISBN-13 |
: 1108565042 |
Rating |
: 4/5 (42 Downloads) |
Synopsis The Homotopy Theory of (∞,1)-Categories by : Julia E. Bergner
The notion of an (∞,1)-category has become widely used in homotopy theory, category theory, and in a number of applications. There are many different approaches to this structure, all of them equivalent, and each with its corresponding homotopy theory. This book provides a relatively self-contained source of the definitions of the different models, the model structure (homotopy theory) of each, and the equivalences between the models. While most of the current literature focusses on how to extend category theory in this context, and centers in particular on the quasi-category model, this book offers a balanced treatment of the appropriate model structures for simplicial categories, Segal categories, complete Segal spaces, quasi-categories, and relative categories, all from a homotopy-theoretic perspective. Introductory chapters provide background in both homotopy and category theory and contain many references to the literature, thus making the book accessible to graduates and to researchers in related areas.
Author |
: Tom Leinster |
Publisher |
: Cambridge University Press |
Total Pages |
: 193 |
Release |
: 2014-07-24 |
ISBN-10 |
: 9781107044241 |
ISBN-13 |
: 1107044243 |
Rating |
: 4/5 (41 Downloads) |
Synopsis Basic Category Theory by : Tom Leinster
A short introduction ideal for students learning category theory for the first time.
Author |
: Carlos Simpson |
Publisher |
: Cambridge University Press |
Total Pages |
: 653 |
Release |
: 2011-10-20 |
ISBN-10 |
: 9781139502191 |
ISBN-13 |
: 1139502190 |
Rating |
: 4/5 (91 Downloads) |
Synopsis Homotopy Theory of Higher Categories by : Carlos Simpson
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.
Author |
: Saunders Mac Lane |
Publisher |
: Springer Science & Business Media |
Total Pages |
: 320 |
Release |
: 2013-04-17 |
ISBN-10 |
: 9781475747218 |
ISBN-13 |
: 1475747217 |
Rating |
: 4/5 (18 Downloads) |
Synopsis Categories for the Working Mathematician by : Saunders Mac Lane
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.
Author |
: Paul G. Goerss |
Publisher |
: Birkhäuser |
Total Pages |
: 520 |
Release |
: 2012-12-06 |
ISBN-10 |
: 9783034887076 |
ISBN-13 |
: 3034887078 |
Rating |
: 4/5 (76 Downloads) |
Synopsis Simplicial Homotopy Theory by : Paul G. Goerss
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.