Categorical Homotopy Theory

DOWNLOAD NOW »

Author: Emily Riehl

Publisher: Cambridge University Press

ISBN: 1139952633

Category: Mathematics

Page: N.A

View: 5323

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.

Homotopy Theory of Higher Categories

From Segal Categories to n-Categories and Beyond

DOWNLOAD NOW »

Author: Carlos Simpson

Publisher: Cambridge University Press

ISBN: 1139502190

Category: Mathematics

Page: N.A

View: 6393

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.

Category Theory in Context

DOWNLOAD NOW »

Author: Emily Riehl

Publisher: Courier Dover Publications

ISBN: 0486820807

Category: Mathematics

Page: 272

View: 7191

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.

Women in Topology: Collaborations in Homotopy Theory

DOWNLOAD NOW »

Author: Maria Basterra,Kristine Bauer,Kathryn Hess,Brenda Johnson

Publisher: American Mathematical Soc.

ISBN: 1470410133

Category: Algebraic topology -- Applied homological algebra and category theory -- Abstract and axiomatic homotopy theory

Page: 166

View: 3771

This volume contains the proceedings of the WIT: Women in Topology workshop, held from August 18-23, 2013, at the Banff International Research Station, Banff, Alberta, Canada. The Women in Topology workshop was devoted primarily to active collaboration by teams of five to seven participants, each including senior and junior researchers, as well as graduate students. This volume contains papers based on the results obtained by team projects in homotopy theory, including -infinity structures, equivariant homotopy theory, functor calculus, model categories, orbispaces, and topological Hochschild homology.

Mexican Mathematicians Abroad

DOWNLOAD NOW »

Author: Noé Bárcenas,Fernando Galaz-García,Mónica Moreno Rocha

Publisher: American Mathematical Soc.

ISBN: 1470421925

Category: Mathematicians

Page: 237

View: 3917

This volume contains the proceedings of the First Workshop “Matemáticos Mexicanos Jóvenes en el Mundo”, held from August 22–24, 2012, at Centro de Investigación en Matemáticas (CIMAT) in Guanajuato, Mexico. - See more at: http://bookstore.ams.org/conm-657/#sthash.cUjwTcvX.dpuf This volume contains the proceedings of the First Workshop "Matemáticos Mexicanos Jóvenes en el Mundo", held from August 22-24, 2012, at Centro de Investigación en Matemáticas (CIMAT) in Guanajuato, Mexico. One of the main goals of this meeting was to present different research directions being pursued by young Mexican mathematicians based in other countries, such as Brazil, Canada, Colombia, Estonia, Germany, Spain and the United States, showcasing research lines currently underrepresented in Mexico. Featured are survey and research articles in six areas: algebra, analysis, applied mathematics, geometry, probability and topology. Their topics range from current developments related to well-known open problems to novel interactions between pure mathematics and computer science. Most of the articles provide a panoramic view of the fields and problems the authors work on, making the book accessible to advanced graduate students and researchers in mathematics from different fields. This book is published in cooperation with Sociedad Matemática Mexicana.

The Homotopy Theory of (∞,1)-Categories

DOWNLOAD NOW »

Author: Julia E. Bergner

Publisher: Cambridge University Press

ISBN: 1108565042

Category: Mathematics

Page: N.A

View: 1772

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.

Modern Classical Homotopy Theory

DOWNLOAD NOW »

Author: Jeffrey Strom

Publisher: American Mathematical Soc.

ISBN: 0821852868

Category: Mathematics

Page: 835

View: 6236

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.

Parametrized Homotopy Theory

DOWNLOAD NOW »

Author: J. Peter May,Johann Sigurdsson

Publisher: American Mathematical Soc.

ISBN: 0821839225

Category: Mathematics

Page: 441

View: 9507

This book develops rigorous foundations for parametrized homotopy theory, which is the algebraic topology of spaces and spectra that are continuously parametrized by the points of a base space. It also begins the systematic study of parametrized homology and cohomology theories. The parametrized world provides the natural home for many classical notions and results, such as orientation theory, the Thom isomorphism, Atiyah and Poincare duality, transfer maps, the Adams and Wirthmuller isomorphisms, and the Serre and Eilenberg-Moore spectral sequences. But in addition to providing a clearer conceptual outlook on these classical notions, it also provides powerful methods to study new phenomena, such as twisted $K$-theory, and to make new constructions, such as iterated Thom spectra. Duality theory in the parametrized setting is particularly illuminating and comes in two flavors. One allows the construction and analysis of transfer maps, and a quite different one relates parametrized homology to parametrized cohomology. The latter is based formally on a new theory of duality in symmetric bicategories that is of considerable independent interest. The text brings together many recent developments in homotopy theory. It provides a highly structured theory of parametrized spectra, and it extends parametrized homotopy theory to the equivariant setting. The theory of topological model categories is given a more thorough treatment than is available in the literature. This is used, together with an interesting blend of classical methods, to resolve basic foundational problems that have no nonparametrized counterparts.

Infinite Homotopy Theory

DOWNLOAD NOW »

Author: H-J. Baues,A. Quintero

Publisher: Springer Science & Business Media

ISBN: 9780792369820

Category: Mathematics

Page: 296

View: 4174

This book deals with algebraic topology, homotopy theory and simple homotopy theory of infinite CW-complexes with ends. Contrary to most other works on these subjects, the current volume does not use inverse systems to treat these topics. Here, the homotopy theory is approached without the rather sophisticated notion of pro-category. Spaces with ends are studied only by using appropriate constructions such as spherical objects of CW-complexes in the category of spaces with ends, and all arguments refer directly to this category. In this way, infinite homotopy theory is presented as a natural extension of classical homotopy theory. In particular, this book introduces the construction of the proper groupoid of a space with ends and then the cohomology with local coefficients is defined by the enveloping ringoid of the proper fundamental groupoid. This volume will be of interest to researchers whose work involves algebraic topology, category theory, homological algebra, general topology, manifolds, and cell complexes.

Sheaf Theory

DOWNLOAD NOW »

Author: Glen E. Bredon

Publisher: Springer Science & Business Media

ISBN: 1461206472

Category: Mathematics

Page: 504

View: 2042

Primarily concerned with the study of cohomology theories of general topological spaces with "general coefficient systems", the parts of sheaf theory covered here are those areas important to algebraic topology. Among the many innovations in this book, the concept of the "tautness" of a subspace is introduced and exploited; the fact that sheaf theoretic cohomology satisfies the homotopy property is proved for general topological spaces; and relative cohomology is introduced into sheaf theory. A list of exercises at the end of each chapter helps students to learn the material, and solutions to many of the exercises are given in an appendix. This new edition of a classic has been substantially rewritten and now includes some 80 additional examples and further explanatory material, as well as new sections on Cech cohomology, the Oliver transfer, intersection theory, generalised manifolds, locally homogeneous spaces, homological fibrations and p- adic transformation groups. Readers should have a thorough background in elementary homological algebra and in algebraic topology.

Global Homotopy Theory

DOWNLOAD NOW »

Author: Stefan Schwede

Publisher: Cambridge University Press

ISBN: 110842581X

Category: Mathematics

Page: 846

View: 8406

A comprehensive, self-contained approach to global equivariant homotopy theory, with many detailed examples and sample calculations.

Rings, Modules, and Algebras in Stable Homotopy Theory

DOWNLOAD NOW »

Author: Anthony D. Elmendorf,I. Kriz,M. A. Mandell,J. P. May

Publisher: American Mathematical Soc.

ISBN: 0821843036

Category: Mathematics

Page: 249

View: 8338

This book introduces a new point-set level approach to stable homotopy theory that has already had many applications and promises to have a lasting impact on the subject. Given the sphere spectrum $S$, the authors construct an associative, commutative, and unital smash product in a complete and cocomplete category of ``$S$-modules'' whose derived category is equivalent to the classical stable homotopy category. This construction allows for a simple and algebraically manageable definition of ``$S$-algebras'' and ``commutative $S$-algebras'' in terms of associative, or associative and commutative, products $R\wedge _SR \longrightarrow R$. These notions are essentially equivalent to the earlier notions of $A_{\infty }$ and $E_{\infty }$ ring spectra, and the older notions feed naturally into the new framework to provide plentiful examples. There is an equally simple definition of $R$-modules in terms of maps $R\wedge _SM\longrightarrow M$. When $R$ is commutative, the category of $R$-modules also has an associative, commutative, and unital smash product, and its derived category has properties just like the stable homotopy category. These constructions allow the importation into stable homotopy theory of a great deal of point-set level algebra.

Homotopy Limit Functors on Model Categories and Homotopical Categories

DOWNLOAD NOW »

Author: William G. Dwyer,Philip S. Hirschhorn,Daniel M. Kan,Jeffrey H. Smith

Publisher: American Mathematical Soc.

ISBN: 0821839756

Category: Mathematics

Page: 181

View: 776

The purpose of this monograph, which is aimed at the graduate level and beyond, is to obtain a deeper understanding of Quillen's model categories. A model category is a category together with three distinguished classes of maps, called weak equivalences, cofibrations, and fibrations. Model categories have become a standard tool in algebraic topology and homological algebra and, increasingly, in other fields where homotopy theoretic ideas are becoming important, such as algebraic $K$-theory and algebraic geometry.The authors' approach is to define the notion of a homotopical category, which is more general than that of a model category, and to consider model categories as special cases of this. A homotopical category is a category with only a single distinguished class of maps, called weak equivalences, subject to an appropriate axiom. This enables one to define ""homotopical"" versions of such basic categorical notions as initial and terminal objects, colimit and limit functors, cocompleteness and completeness, adjunctions, Kan extensions, and universal properties.There are two essentially self-contained parts, and part II logically precedes part I. Part II defines and develops the notion of a homotopical category and can be considered as the beginnings of a kind of ""relative"" category theory. The results of part II are used in part I to obtain a deeper understanding of model categories. The authors show in particular that model categories are homotopically cocomplete and complete in a sense stronger than just the requirement of the existence of small homotopy colimit and limit functors. A reader of part II is assumed to have only some familiarity with the above-mentioned categorical notions. Those who read part I, and especially its introductory chapter, should also know something about model categories.

Towards Higher Categories

DOWNLOAD NOW »

Author: John C. Baez,J. Peter May

Publisher: Springer Science & Business Media

ISBN: 1441915362

Category:

Page: 292

View: 3708

Factorization Algebras in Quantum Field Theory

DOWNLOAD NOW »

Author: Kevin Costello,Owen Gwilliam

Publisher: Cambridge University Press

ISBN: 1107163102

Category: Mathematics

Page: 398

View: 3248

This first volume develops factorization algebras with a focus upon examples exhibiting their use in field theory, which will be useful for researchers and graduates.

Simplicial Homotopy Theory

DOWNLOAD NOW »

Author: Paul G. Goerss,John F. Jardine

Publisher: Birkhäuser

ISBN: 3034887078

Category: Mathematics

Page: 510

View: 1953

Topology and Groupoids

DOWNLOAD NOW »

Author: Ronald Brown

Publisher: Booksurge Llc

ISBN: 9781419627224

Category: Mathematics

Page: 512

View: 890

Annotation. The book is intended as a text for a two-semester course in topology and algebraic topology at the advanced undergraduate orbeginning graduate level. There are over 500 exercises, 114 figures, numerous diagrams. The general direction of the book is towardhomotopy theory with a geometric point of view. This book would providea more than adequate background for a standard algebraic topology coursethat begins with homology theory. For more information seewww.bangor.ac.uk/r.brown/topgpds.htmlThis version dated April 19, 2006, has a number of corrections made.

Local Homotopy Theory

DOWNLOAD NOW »

Author: John F. Jardine

Publisher: Springer

ISBN: 1493923005

Category: Mathematics

Page: 508

View: 8566

This monograph on the homotopy theory of topologized diagrams of spaces and spectra gives an expert account of a subject at the foundation of motivic homotopy theory and the theory of topological modular forms in stable homotopy theory. Beginning with an introduction to the homotopy theory of simplicial sets and topos theory, the book covers core topics such as the unstable homotopy theory of simplicial presheaves and sheaves, localized theories, cocycles, descent theory, non-abelian cohomology, stacks, and local stable homotopy theory. A detailed treatment of the formalism of the subject is interwoven with explanations of the motivation, development, and nuances of ideas and results. The coherence of the abstract theory is elucidated through the use of widely applicable tools, such as Barr's theorem on Boolean localization, model structures on the category of simplicial presheaves on a site, and cocycle categories. A wealth of concrete examples convey the vitality and importance of the subject in topology, number theory, algebraic geometry, and algebraic K-theory. Assuming basic knowledge of algebraic geometry and homotopy theory, Local Homotopy Theory will appeal to researchers and advanced graduate students seeking to understand and advance the applications of homotopy theory in multiple areas of mathematics and the mathematical sciences.

Categories for the Working Philosopher

DOWNLOAD NOW »

Author: Elaine Landry

Publisher: Oxford University Press

ISBN: 019874899X

Category: Mathematics

Page: 528

View: 4621

This is the first volume on category theory for a broad philosophical readership. It is designed to show the interest and significance of category theory for a range of philosophical interests: mathematics, proof theory, computation, cognition, scientific modelling, physics, ontology, the structure of the world. Each chapter is written by either a category-theorist or a philosopher working in one of the represented areas, in an accessible waythat builds on the concepts that are already familiar to philosophers working in these areas.

Theory of Topological Structures

An Approach to Categorical Topology

DOWNLOAD NOW »

Author: Gerhard Preuß

Publisher: Springer Science & Business Media

ISBN: 9400928599

Category: Mathematics

Page: 304

View: 3255

Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one day, that they can't see the problem. perhaps you will find the final question. G. K. Chesterton. The Scandal of Father 'The Hermit Clad in Crane Feathers' in R. Brown 'The point of a Pin'. van Gulik's The Chinese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging subdisciplines as "experimental mathematics", "CFD", "completely integrable systems", "chaos, synergetics and large-scale order", which are almost impossible to fit into the existing classification schemes. They draw upon widely different sections of mathematics.