Computads for weak $\omega$-categories as an inductive type

Christopher J. Dean, Eric Finster, Ioannis Markakis +2

We give a new description of computads for weak globular $\omega$-categories by giving an explicit inductive definition of the free words. This yields a new understanding of computads,…