The equivalence between opetopic sets and many-to-one polygraphs
Author: Cédric Ho Thanh
Paper Information
Title: | The equivalence between opetopic sets and many-to-one polygraphs |
Authors: | Cédric Ho Thanh |
Proceedings: | HDRA Abstracts |
Editors: | Samuel Mimram, Yves Guiraud and Philippe Malbos |
Keywords: | opetope, polygraph, multitope |
Abstract: | ABSTRACT. From the polynomial approach to the definition of opetopes of Kock et al. [8], we derive a category $\mathbb{O}$ 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 Makkai et al. [3, 4]. |
Pages: | 7 |
Talk: | Jul 07 11:00 (Session 26D) |
Paper: |