Fibrations and Yoneda's lemma in an ∞-cosmos

@article{Riehl2017FibrationsAY,
  title={Fibrations and Yoneda's lemma in an ∞-cosmos},
  author={Emily Riehl and Dominic R. Verity},
  journal={Journal of Pure and Applied Algebra},
  year={2017},
  volume={221},
  pages={499-564}
}
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 of fibrant objects. Quasi-categories, Segal categories, complete Segal spaces, marked simplicial sets, iterated complete Segal spaces, θ n -spaces, and fibered versions of each of these are all ∞-categories in this sense. Previous work in this series shows that the basic category theory of… 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
A type theory for synthetic ∞-categories
We propose foundations for a synthetic theory of $(\infty,1)$-categories within homotopy type theory. We axiomatize a directed interval type, then define higher simplices from it and use them toExpand
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
A type theory for synthetic $\infty$-categories
We propose foundations for a synthetic theory of $(\infty,1)$-categories within homotopy type theory. We axiomatize a directed interval type, then define higher simplices from it and use them toExpand
A bivariant Yoneda lemma and $(\infty,2)$-categories of correspondences
Everyone knows that if you have a bivariant homology theory satisfying a base change formula, you get an representation of a category of correspondences. For theories in which the covariant andExpand
Univalence in Higher Category Theory
Univalence was first defined in the setting of homotopy type theory by Voevodsky, who also (along with Kapulkin and Lumsdaine) adapted it to a model categorical setting, which was subsequentlyExpand
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
∞-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
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
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 29 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
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
∞-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
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
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
On the Unicity of the Homotopy Theory of Higher Categories
We axiomatise the theory of $(\infty,n)$-categories. We prove that the space of theories of $(\infty,n)$-categories is a $B(\mathbb{Z}/2)^n$. We prove that Rezk's complete Segal $\Theta_n$-spaces,Expand
A cartesian presentation of weak n–categories
We propose a notion of weak (n+k,n)-category, which we call (n+k,n)-Theta-spaces. The (n+k,n)-Theta-spaces are precisely the fibrant objects of a certain model category structure on the category ofExpand
CATEGORICAL HOMOTOPY THEORY
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
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
...
1
2
3
...