A Type Theory for Strictly Associative Infinity Categories

Eric Finster, Alex Rice, Jamie Vicary

Many definitions of weak and strict $\infty$-categories have been proposed. In this paper we present a definition for $\infty$-categories with strict associators, but which is othe…