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

Cédric Ho Thanh 1, 2
2 PI.R2 - Design, study and implementation of languages for proofs and programs
Inria de Paris, CNRS - Centre National de la Recherche Scientifique, UPD7 - Université Paris Diderot - Paris 7, PPS - Preuves, Programmes et Systèmes
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.
Type de document :
Pré-publication, Document de travail
2018
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01946918
Contributeur : Cédric Ho Thanh <>
Soumis le : jeudi 6 décembre 2018 - 14:40:18
Dernière modification le : vendredi 4 janvier 2019 - 17:33:38

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01946918, version 1
  • ARXIV : 1806.08645

Collections

Citation

Cédric Ho Thanh. The equivalence between many-to-one polygraphs and opetopic sets. 2018. 〈hal-01946918〉

Partager

Métriques

Consultations de la notice

55

Téléchargements de fichiers

14