# ∞-Categories for the Working Mathematician

@inproceedings{Riehl2018CategoriesFT, title={∞-Categories for the Working Mathematician}, author={Emily Riehl and Dominic R. Verity}, year={2018} }

homotopy theory C.1. Lifting properties, weak factorization systems, and Leibniz closure C.1.1. Lemma. Any class of maps characterized by a right lifting property is closed under composition, product, pullback, retract, and limits of towers; see Lemma C.1.1. Proof. For now see [47, 11.1.4] and dualize. On account of the dual of Lemma C.1.1, any set of maps in a cocomplete category “cellularly generates” a larger class of maps with the same left lifting property. C.1.2. Definition. The class of… Expand

#### 1,322 Citations

Homotopy theory of Moore flows (II)

- Mathematics
- 2021

This paper proves that the q-model structures of Moore flows and of multipointed d-spaces are Quillen equivalent. The main step is the proof that the counit and unit maps of the Quillen adjunction… Expand

On a spectral sequence for the cohomology of infinite loop spaces

- Mathematics
- 2016

We study the mod-2 cohomology spectral sequence arising from delooping the Bousfield‐Kan cosimplicial space giving the 2‐nilpotent completion of a connective spectrum X . Under good conditions its E2… Expand

Fibrations and Yoneda's lemma in an ∞-cosmos

- Mathematics
- 2017

Abstract We use the terms ∞-categories and ∞-functors to mean the objects and morphisms in an ∞-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category… Expand

Notes on pre-Frölicher spaces

- 2016

Abstract In this work we introduce a class of Sikorski differential spaces (M, D) called pre-Fr¨olicher spaces, on which the process of yielding a Fr¨olicher structure on the underlying set M is D… Expand

A short course on ∞-categories

- Mathematics
- 2020

In this short survey we give a non-technical introduction to some main ideas of the theory of ∞-categories, hopefully facilitating the digestion of the foundational work of Joyal and Lurie. Besides… Expand

Grothendieck fibrations and homotopical algebra

- Mathematics
- 2016

This thesis is devoted to the study of families of categories equipped with a homotopical structure. The principal results comprising this work are:i. A generalisation of the Reedy model structure,… Expand

A graphical category for higher modular operads

- Mathematics
- 2019

We present a homotopy theory for a weak version of modular operads whose compositions and contractions are only defined up to homotopy. This homotopy theory takes the form of a Quillen model… Expand

The derivator of setoids

- Mathematics
- 2021

Without the axiom of choice, the free exact completion of the category of sets (i.e. the category of setoids) may not be complete or cocomplete. We will show that nevertheless, it can be enhanced to… Expand

The heart of the Banach spaces

- Mathematics
- 2016

Abstract Consider an exact category in the sense of Quillen. Assume that in this category every morphism has a kernel and that every kernel is an inflation. In their seminal 1982 paper, Beĭlinson,… Expand

A recollement construction of Gorenstein derived categories

- Mathematics
- 2018

We first give an equivalence between the derived category of a locally finitely presented category and the derived category of contravariant functors from its finitely presented subcategory to the… Expand

#### References

SHOWING 1-10 OF 66 REFERENCES

Homotopy-theoretic aspects of 2-monads

- Mathematics
- 2006

We study 2-monads and their algebras using a Cat-enriched version of Quillen model categories, emphasizing the parallels between the homotopical and 2-categorical points of view. Every 2-category… Expand

Fibrations and Yoneda's lemma in an ∞-cosmos

- Mathematics
- 2017

Abstract We use the terms ∞-categories and ∞-functors to mean the objects and morphisms in an ∞-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category… Expand

Towards an (∞,2)-category of homotopy coherent monads in an ∞-cosmos

- Mathematics
- 2017

This thesis is part of a program initiated by Riehl and Verity to study the category theory of (infinity,1)-categories in a model-independent way. They showed that most models of… Expand

CATEGORICAL HOMOTOPY THEORY

- Mathematics
- 2006

This paper is an exposition of the ideas and methods of Cisinksi, in the context of A-presheaves on a small Grothendieck site, where A is an arbitrary test category in the sense of Grothendieck. The… Expand

Weak complicial sets I. Basic homotopy theory

- Mathematics
- 2008

This paper develops the foundations of a simplicial theory of weak ?-categories, which builds upon the insights originally expounded by Ross Street in his 1987 paper on oriented simplices. The… Expand

Yoneda Structures from 2-toposes

- Mathematics, Computer Science
- Appl. Categorical Struct.
- 2007

A 2-categorical generalisation of the notion of elementary topos is provided, and some of the properties of the Yoneda structure it generates are explored and results enabling one to exhibit objects as cocomplete in the sense definable within a YonedA structure are presented. Expand

The 2-category theory of quasi-categories

- Mathematics
- 2013

In this paper we redevelop the foundations of the category theory of quasi-categories (also called infinity-categories) using 2-category theory. We show that Joyal's strict 2-category of… Expand

Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions

- Mathematics
- 2014

Consider a diagram of quasi-categories that admit and functors that preserve limits or colimits of a fixed shape. We show that any weighted limit whose weight is a projective cofibrant simplicial… Expand

Calculating simplicial localizations

- Mathematics
- 1980

1.1. Summary. This paper is essentially a continuation of [3], where we introduced a (standard) simplicial localization functor, which assigned to every category C and subcategory W c C, a simpficiaf… Expand

Algebraic K-theory and abstract homotopy theory

- Mathematics
- 2007

Abstract We decompose the K -theory space of a Waldhausen category in terms of its Dwyer–Kan simplicial localization. This leads to a criterion for functors to induce equivalences of K -theory… Expand