In category theory, a branch of mathematics, an opetope, a portmanteau of "operation" and "polytope", is a shape that captures higher-dimensional substitutions.
[1] It was introduced by John C. Baez and James Dolan so that they could define a weak n-category as a certain presheaf on the category of opetopes.
[2]
This category theory-related article is a stub.
You can help Wikipedia by expanding it.