Symmetric multicategoryLast updated Apr 23, 2024ReferencesCategorical Logic (Shulman, 2016)Higher-dimensional algebra III. n-categories and the algebra of opetopes (Baez, Dolan, 1998)
