Opetopic algebras I: Algebraic structures on opetopic sets

MaRDI QIDQ5094698zbMATH OpenFDO

Authors Cédric Ho Thanh, Chaitanya Leena Subramaniam

Publication date 4 August 2022

Full work available at URL https://arxiv.org/abs/1911.00907, https://higher-structures.math.cas.cz/api/files/issues/Vol6Iss1/HoThanhLeenaSubramaniam

zbMATH Keywords

operadopetopeopetopic setpolynomial monadprojective sketch

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20) Sketches and generalizations (18C30) Operads (general) (18M60)

Abstract: We define a family of structures called "opetopic algebras", which are algebraic structures with an underlying opetopic set. Examples of such are categories, planar operads, and Loday's combinads over planar trees. Opetopic algebras can be defined in two ways, either as the algebras of a "free pasting diagram" parametric right adjoint monad, or as models of a small projective sketch over the category of opetopes. We define an opetopic nerve functor that fully embeds each category of opetopic algebras into the category of opetopic sets. In particular, we obtain fully faithful opetopic nerve functors for categories and for planar coloured Set-operads. This paper is the first in a series aimed at using opetopic spaces as models for higher algebraic structures.

Recommendations

• scientific article; zbMATH DE number 1835896
• scientific article; zbMATH DE number 2162779
• scientific article; zbMATH DE number 2028926
• scientific article; zbMATH DE number 970063
• An algebra over the operad of posets and structural binomial identities
• Algebraic operads. An algorithmic companion
• Algebraic operads
• scientific article; zbMATH DE number 1415132
• O-operators and related structures on Leibniz algebras
• scientific article; zbMATH DE number 839280

Cites work

• Dendroidal sets
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 2028926 (Why is no real title available?)
• scientific article; zbMATH DE number 5256216 (Why is no real title available?)
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Monads with arities and their associated theories
• Polynomial functors and opetopes
• Polynomial functors and polynomial monads
• Polynomial functors and trees
• Weak n-categories: Comparing opetopic foundations.
• Weak \(n\)-categories: Opetopic and multitopic foundations.

Cited in

(8)

• The incidence comodule bialgebra of the Baez-Dolan construction
• An algebraic representation of globular sets
• The web monoid and opetopic sets
• Opetopes and chain complexes
• Operads as polynomial 2-monads
• Compatibility between two conceptions of algebra over an operad
• A sequent calculus for opetopes
• Polynomial functors and opetopes

This page was built for publication: Opetopic algebras I: Algebraic structures on opetopic sets

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