High-level methods for homotopy construction in associative $n$-categories

David Reutter, Jamie Vicary

A combinatorial theory of associative $n$-categories has recently been proposed, with strictly associative and unital composition in all dimensions, and the weak structure arising…