The equivalence between many-to-one polygraphs and opetopic sets - Inria - Institut national de recherche en sciences et technologies du numérique
Preprints, Working Papers, ... Year : 2018

The equivalence between many-to-one polygraphs and opetopic sets

Abstract

From the polynomial approach to the definition of opetopes of Kock et al., we derive a category of opetopes, and show that its set-valued presheaves, or opetopic sets, are equivalent to many-to-one polygraphs. As an immediate corollary, we establish that opetopic sets are equivalent to multitopic sets, introduced and studied by Harnick et al, and we also address an open question of Henry.
Fichier principal
Vignette du fichier
main.pdf (231.95 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01946918 , version 1 (06-12-2018)
hal-01946918 , version 2 (22-01-2020)

Identifiers

Cite

Cédric Ho Thanh. The equivalence between many-to-one polygraphs and opetopic sets. 2018. ⟨hal-01946918v2⟩
82 View
110 Download

Altmetric

Share

More