Search 205,502,726 papers from all fields of science

Search

Sign InCreate Free Account

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.

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… Expand

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… Expand

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… Expand

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… Expand

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… Expand

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