The web monoid and opetopic sets

Abstract: We develop a new definition of opetopic sets. There are two main technical ingredients. The first is the systematic use of fibrations, which are implicit in most of the approaches in the literature. Their explicit use leads to certain clarifications in the construction of opetopic sets and other constructions. The second is the "web monoid", which plays a role analogous to the "operad for operads" of Baez and Dolan, the "multicategory of function replacement" of Hermida, Makkai and Power. We demonstrate that the web monoid is closely related to the "Baez-Dolan slice construction" as defined by Kock, Joyal, Batanin and Mascari.

Review text

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.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: The web monoid and opetopic sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2376562)