The 2-category theory of quasi-categories

@article{Riehl2013The2T,
  title={The 2-category theory of quasi-categories},
  author={Emily Riehl and Dominic R. Verity},
  journal={arXiv: Category Theory},
  year={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 quasi-categories admits certain weak 2-limits, among them weak comma objects. We use these comma quasi-categories to encode universal properties relevant to limits, colimits, and adjunctions and prove the expected theorems relating these notions. These universal properties have an alternate form as absolute… Expand
Recognizing Quasi-Categorical Limits and Colimits in Homotopy Coherent Nerves
TLDR
It is shown that quasi-categorical limit cones may be modeled at the point-set level by pseudo homotopy limit cones, whose shape is governed by the weight for pseudo limits over aHomotopy coherent diagram but with the defining universal property up to equivalence, rather than isomorphism, of mapping spaces. Expand
On the construction of limits and colimits in ∞-categories
In previous work, we introduce an axiomatic framework within which to prove theorems about many varieties of infinite-dimensional categories simultaneously. In this paper, we establish criteriaExpand
On the construction of limits and colimits in $\infty$-categories
In previous work, we introduce an axiomatic framework within which to prove theorems about many varieties of infinite-dimensional categories simultaneously. In this paper, we establish criteriaExpand
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
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
Homotopy coherent adjunctions and the formal theory of monads
In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterize its n-arrows using a graphical calculus that we develop here. TheExpand
Weighted limits in an $$(\infty ,1)$$-category
We introduce the notion of weighted limit in an arbitrary quasi-category, suitably generalizing ordinary limits in a quasi-category, and classical weighted limits in an ordinary category. This isExpand
Theorems in Higher Category Theory and Applications
In this thesis we construct the universal coCartesian fibration , which (strictly) classifies coCartesian fibrations of simplicial sets with small fibers. To this end, we develop a general frameworkExpand
Abstract representation theory of Dynkin quivers of type A
Abstract We study the representation theory of Dynkin quivers of type A in abstract stable homotopy theories, including those associated to fields, rings, schemes, differential-graded algebras, andExpand
∞-categorical monadicity and descent
Riehl and Verity have introduced an “∞-cosmic” framework in which they redevelop the category theory of ∞-categories using 2-categorical arguments. In this paper, we begin with a self-containedExpand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 50 REFERENCES
On quasi-categories as a foundation for higher algebraic stacks
We develop the basic theory of quasi-categories (a.k.a. weak Kan complexes or (oo, 1)categories as in [BV73], [Joy], [Lur06]) from first principles, i.e. without reference to model categories orExpand
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
Enriched ∞-categories via non-symmetric ∞-operads
Abstract We set up a general theory of weak or homotopy-coherent enrichment in an arbitrary monoidal ∞-category. Our theory of enriched ∞-categories has many desirable properties; for instance, ifExpand
Homotopy coherent adjunctions and the formal theory of monads
In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterize its n-arrows using a graphical calculus that we develop here. TheExpand
HOMOTOPY THEORY OF MODEL CATEGORIES
In this paper some questions in the homotopy theory of model categories are answered. The important results of this paper are Theorems B, C and D which state that pushouts, sequential direct limits,Expand
Weak Omega Categories I
We develop a theory of weak omega categories that will be accessible to anyone who is familiar with the language of categories and functors and who has encountered the definition of a strictExpand
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
Lax colimits and free fibrations in $\infty$-categories
We define and discuss lax and weighted colimits of diagrams in $\infty$-categories and show that the coCartesian fibration associated to a functor is given by its lax colimit. A key ingredient, ofExpand
BASIC CONCEPTS OF ENRICHED CATEGORY THEORY
Although numerous contributions from divers authors, over the past fifteen years or so, have brought enriched category theory to a developed state, there is still no connected account of the theory,Expand
The theory and practice of Reedy categories
TLDR
The goal of this paper is to demystify the role played by the Reedy category axioms in homotopy theory by reducing the much of the hard work involved to simpler computations involving weighted colimits and Leibniz (pushout-product) constructions. Expand
...
1
2
3
4
5
...