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