A strengthened $(\infty ,n)$-categorical pasting theorem

Abstract

We extend Campion's pasting theorem for $(\infty ,n)$-categories to a larger class of polygraphs, called the directed complexes with frame-acyclic molecules. It follows, for instance, that this pasting theorem applies to any polygraph presented by a semi-simplicial set, and that a large subclass of directed complexes with frame-acyclic molecules is compatible with the Gray tensor product. We also set up a comparison between directed complexes and Henry's regular polygraphs, and show that they coincide up to dimension $3$. As a corollary of our main results, the pasting theorem also applies to the class of regular $3$-polygraphs.

45 pages, added a corollary on the Gray tensor product, references, and corrected typos