Opetopic algebras I: Algebraic structures on opetopic sets - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2019

Opetopic algebras I: Algebraic structures on opetopic sets

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.
Fichier principal
Vignette du fichier
main.pdf (370.58 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-02343861 , version 2

Cite

Cédric Ho Thanh, Chaitanya Leena Subramaniam. Opetopic algebras I: Algebraic structures on opetopic sets. 2019. ⟨hal-02343861v2⟩
85 View
114 Download

Share

Gmail Facebook X LinkedIn More