In
category theory, a branch of mathematics, an opetope, a portmanteau of "
operation
Operation or Operations may refer to:
Arts, entertainment and media
* ''Operation'' (game), a battery-operated board game that challenges dexterity
* Operation (music), a term used in musical set theory
* ''Operations'' (magazine), Multi-Ma ...
" and "
polytope
In elementary geometry, a polytope is a geometric object with flat sides ('' faces''). Polytopes are the generalization of three-dimensional polyhedra to any number of dimensions. Polytopes may exist in any general number of dimensions as an ...
", is a
shape
A shape or figure is a graphical representation of an object or its external boundary, outline, or external surface, as opposed to other properties such as color, texture, or material type.
A plane shape or plane figure is constrained to lie ...
that captures higher-dimensional
substitutions. It was introduced by
John C. Baez and James Dolan so that they could define a
weak ''n''-category as a certain
presheaf
In mathematics, a sheaf is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could ...
on the category of opetopes.
See also
*
higher-order operad
References
External links
*https://ncatlab.org/nlab/show/opetope
Category theory
{{categorytheory-stub