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

Clémence Chanavat

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