The web monoid and opetopic sets (Q2376562): Difference between revisions

The authors give a new approach to Baez-Dolan's theory of opetopic sets [\textit{J. C. Baez} and \textit{J. Dolan}, Adv. Math. 135, No. 2, 145--206 (1998; Zbl 0909.18006)]. Briefly recall that opetopes are structures which encode certain pasting diagrams of cells and can be used to define a notion of weak \(n\)-category. In Baez-Dolan's approach, the category of \(n\)-dimensional opetopes is yielded by an \(n\)-fold categorification of algebra structures over some operad. The category of opetopic sets consists of presheaves on the category of opetopes. In the paper under review, the authors use a free monoid construction (the web monoid of the article title) to replace the operadic construction used by Baez-Dolan, and they give a definition of the category of opetopic sets in terms of fibered monoid structures.