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

@article{Riehl2014CompletenessRF,
  title={Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions},
  author={Emily Riehl and Dominic R. Verity},
  journal={arXiv: Category Theory},
  year={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 functor is again a quasi-category admitting these (co)limits and that they are preserved by the functors in the limit cone. In particular, the Bousfield-Kan homotopy limit of a diagram of quasi-categories admit any limits or colimits existing in and preserved by the functors in that diagram. In… 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
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
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
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
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
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
Cartesian exponentiation and monadicity
An important result in quasi-category theory due to Lurie is the that cocartesian fibrations are exponentiable, in the sense that pullback along a cocartesian fibration admits a right Quillen rightExpand
∞-Categories for the Working Mathematician
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,Expand
Kan extensions and the calculus of modules for $∞$-categories
Various models of $(\infty,1)$-categories, including quasi-categories, complete Segal spaces, Segal categories, and naturally marked simplicial sets can be considered as the objects of anExpand
J ul 2 01 8 WALDHAUSEN ADDITIVITY : CLASSICAL AND QUASICATEGORICAL
We use a simplicial product version of Quillen’s Theorem A to prove classical Waldhausen Additivity of wS•, which says that the “subobject” and “quotient” functors of cofiber sequences induce a weakExpand
...
1
2
...

References

SHOWING 1-10 OF 10 REFERENCES
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
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
Quasi-categories and Kan complexes
A quasi-category X is a simplicial set satisfying the restricted Kan conditions of Boardman and Vogt. It has an associated homotopy category hoX. We show that X is a Kan complex iff hoX is aExpand
A 2-Categories Companion
This paper is a rather informal guide to some of the basic theory of 2-categories and bicategories, including notions of limit and colimit, 2-dimensional universal algebra, formal category theory,Expand
Higher Topos Theory
This purpose of this book is twofold: to provide a general introduction to higher category theory (using the formalism of "quasicategories" or "weak Kan complexes"), and to apply this theory to theExpand
Higher Algebra
AbstractTHIS new “Higher Algebra” will be examined with great interest by all teachers and serious students of mathematics. A book of this type is certainly needed at the present time, and the oneExpand
Higher Algebra, http://www.math.harvard.edu/~lurie/papers/HigherAlgebra.pdf, August
  • 2012
Higher Topos Theory, volume
  • Annals of Mathematical Studies,
  • 2009
Higher Topos Theory, volume 170 of Annals of Mathematical Studies
  • Higher Topos Theory, volume 170 of Annals of Mathematical Studies
  • 2009
USA E-mail address: eriehl@math.harvard.edu Centre of Australian Category Theory
  • USA E-mail address: eriehl@math.harvard.edu Centre of Australian Category Theory