Parametrized Higher Category Theory

Parametrized Higher Category Theory PDF Author: Jay Hungfai Gautam Shah
Publisher:
ISBN:
Category :
Languages : en
Pages : 99

Get Book Here

Book Description
We develop foundations for the category theory of [infinity]-categories parametrized by a base occategory. Our main contribution is a theory of parametrized homotopy limits and colimits, which recovers and extends the Dotto-Moi theory of G-colimits for G a finite group when the base is chosen to be the orbit category of G. We apply this theory to show that the G-[infinity]-category of G-spaces is freely generated under G-colimits by the contractible G-space, thereby affirming a conjecture of Mike Hill.

Parametrized Higher Category Theory

Parametrized Higher Category Theory PDF Author: Jay Hungfai Gautam Shah
Publisher:
ISBN:
Category :
Languages : en
Pages : 99

Get Book Here

Book Description
We develop foundations for the category theory of [infinity]-categories parametrized by a base occategory. Our main contribution is a theory of parametrized homotopy limits and colimits, which recovers and extends the Dotto-Moi theory of G-colimits for G a finite group when the base is chosen to be the orbit category of G. We apply this theory to show that the G-[infinity]-category of G-spaces is freely generated under G-colimits by the contractible G-space, thereby affirming a conjecture of Mike Hill.

Towards Higher Categories

Towards Higher Categories PDF Author: John C. Baez
Publisher: Springer Science & Business Media
ISBN: 1441915362
Category : Algebra
Languages : en
Pages : 292

Get Book Here

Book Description
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.

Elements of ∞-Category Theory

Elements of ∞-Category Theory PDF Author: Emily Riehl
Publisher: Cambridge University Press
ISBN: 1108952194
Category : Mathematics
Languages : en
Pages : 782

Get Book Here

Book Description
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.

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.

2016 MATRIX Annals

2016 MATRIX Annals PDF Author: Jan de Gier
Publisher: Springer
ISBN: 3319722999
Category : Mathematics
Languages : en
Pages : 667

Get Book Here

Book Description
MATRIX is Australia’s international, residential mathematical research institute. It facilitates new collaborations and mathematical advances through intensive residential research programs, each lasting 1-4 weeks. This book is a scientific record of the five programs held at MATRIX in its first year, 2016: - Higher Structures in Geometry and Physics - Winter of Disconnectedness - Approximation and Optimisation - Refining C*-Algebraic Invariants for Dynamics using KK-theory - Interactions between Topological Recursion, Modularity, Quantum Invariants and Low- dimensional Topology The MATRIX Scientific Committee selected these programs based on their scientific excellence and the participation rate of high-profile international participants. Each program included ample unstructured time to encourage collaborative research; some of the longer programs also included an embedded conference or lecture series. The articles are grouped into peer-reviewed contributions and other contributions. The peer-reviewed articles present original results or reviews on selected topics related to the MATRIX program; the remaining contributions are predominantly lecture notes based on talks or activities at MATRIX.

Parametrized Homotopy Theory

Parametrized Homotopy Theory PDF Author: J. Peter May
Publisher: American Mathematical Soc.
ISBN: 0821839225
Category : Mathematics
Languages : en
Pages : 456

Get Book Here

Book Description
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.

Elements of ?-Category Theory

Elements of ?-Category Theory PDF Author: Emily Riehl
Publisher: Cambridge University Press
ISBN: 1108837980
Category : Mathematics
Languages : en
Pages : 781

Get Book Here

Book Description
This book develops the theory of infinite-dimensional categories by studying the universe, or ∞-cosmos, in which they live.

Category Theory

Category Theory PDF Author: George A. Duckett
Publisher: Createspace Independent Publishing Platform
ISBN: 9781533438881
Category :
Languages : en
Pages : 210

Get Book Here

Book Description
If you have a question about Category Theory this is the book with the answers. Category Theory: Questions and Answers takes some of the best questions and answers asked on the mathoverflow.stackexchange.com website. You can use this book to look up commonly asked questions, browse questions on a particular topic, compare answers to common topics, check out the original source and much more. This book has been designed to be very easy to use, with many internal references set up that makes browsing in many different ways possible. Topics covered include: Algebraic Topology, Algebraic Geometry, Higher Category Theory, Homotopy Theory, Topos Theory, Reference Request, Logic, Group Theory, Monoidal Categories, Homological Algebra, Set Theory, General Topology, Model Categories, Representation Theory, Soft Question, Commutative Algebra, Rings And Algebras, Simplicial Stuff, Sheaf Theory, Limits And Colimits and many more."

Category Theory in Context

Category Theory in Context PDF Author: Emily Riehl
Publisher: Courier Dover Publications
ISBN: 0486820807
Category : Mathematics
Languages : en
Pages : 273

Get Book Here

Book Description
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.

Category Theory for Computing Science

Category Theory for Computing Science PDF Author: Michael Barr
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 352

Get Book Here

Book Description
A wide coverage of topics in category theory and computer science is developed in this text, including introductory treatments of cartesian closed categories, sketches and elementary categorical model theory, and triples. Over 300 exercises are included.