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

Philip Hackney, Viktoriya Ozornova, Emily Riehl +1

We show that any pasting diagram in any $(\infty ,2)$-category has a homotopically unique composite. This is achieved by showing that the free 2-category generated by a pasting sche…