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
PPS - Preuves, Programmes et Systèmes, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
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 : jeudi 13 décembre 2018 - 15:26: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

29

Téléchargements de fichiers

8