• 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}
}
• Published 7 June 2021
• Mathematics
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
• Mathematics
Algebraic & Geometric Topology
• 2020
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
• Mathematics
• 2020
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
On the Unicity of the Homotopy Theory of Higher Categories
• Mathematics
• 2011
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,