Corpus ID: 46657525

∞-Categories for the Working Mathematician

  title={∞-Categories for the Working Mathematician},
  author={E. Riehl and Dominic R. Verity},
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
Homotopy theory of Moore flows (II)
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 adjunctionExpand
On a spectral sequence for the cohomology of infinite loop spaces
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 E2Expand
Fibrations and Yoneda's lemma in an ∞-cosmos
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 categoryExpand
Notes on pre-Frölicher spaces
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 DExpand
A short course on ∞-categories
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. BesidesExpand
Grothendieck fibrations and homotopical algebra
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
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 modelExpand
The derivator of setoids
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 toExpand
The heart of the Banach spaces
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
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 theExpand


Homotopy-theoretic aspects of 2-monads
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-categoryExpand
Fibrations and Yoneda's lemma in an ∞-cosmos
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 categoryExpand
Towards an (∞,2)-category of homotopy coherent monads in an ∞-cosmos
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 ofExpand
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. TheExpand
Weak complicial sets I. Basic homotopy theory
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. TheExpand
Yoneda Structures from 2-toposes
  • Mark Weber
  • 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
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 ofExpand
Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions
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 simplicialExpand
Calculating simplicial localizations
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 simpficiafExpand
Algebraic K-theory and abstract homotopy theory
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 -theoryExpand