References Categorical Logic (Shulman, 2016) Higher-dimensional algebra III. n-categories and the algebra of opetopes (Baez, Dolan, 1998)
