Opetopic algebras I: Algebraic structures on opetopic sets - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2019

Opetopic algebras I: Algebraic structures on opetopic sets

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (370.58 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02343861 , version 1 (03-11-2019)
hal-02343861 , version 2 (22-01-2020)

Identifiants

  • HAL Id : hal-02343861 , version 2

Citer

Cédric Ho Thanh, Chaitanya Leena Subramaniam. Opetopic algebras I: Algebraic structures on opetopic sets. 2019. ⟨hal-02343861v2⟩
92 Consultations
139 Téléchargements

Partager

More