• Corpus ID: 235358323

An $(\infty,2)$-categorical pasting theorem

@inproceedings{Hackney2021AnP,
  title={An \$(\infty,2)\$-categorical pasting theorem},
  author={Philip Hackney and Viktoriya Ozornova and Emily Riehl and Martina Rovelli},
  year={2021}
}
We show that any pasting diagram in any (∞, 2)-category has a homotopically unique composite. This is achieved by showing that the free 2category generated by a pasting scheme is the homotopy colimit of its cells as an (∞, 2)-category. We prove this explicitly in the simplicial categories model and then explain how to deduce the model-independent statement from that calculation. 

References

SHOWING 1-10 OF 61 REFERENCES
Model structures for (∞,n)–categories on (pre)stratified simplicial sets and prestratified simplicial spaces
We prove the existence of a model structure on the category of stratified simplicial sets whose fibrant objects are precisely $n$-complicial sets, which are a proposed model for
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 of
Homotopy theory of posets
This paper studies the category of posets Pos as a model for the homotopy theory of spaces. We prove that: (i) Pos admits a (cofibrantly generated and proper) model structure and the inclusion
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. The
Gray tensor product and saturated $N$-complicial sets
We show that the pretensor and tensor products of simplicial sets with marking are compatible with the homotopy theory of saturated $N$-complicial sets (which are a proposed model of
A 2-categorical pasting theorem
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,
Limits indexed by category-valued 2-functors
...
...