The equivalence between many-to-one polygraphs and opetopic sets - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2018

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

Résumé

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 (213.19 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

Cédric Ho Thanh. The equivalence between many-to-one polygraphs and opetopic sets. 2018. ⟨hal-01946918v1⟩
77 Consultations
97 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More