| ||||
| ||||
![]() Title:The equivalence between opetopic sets and many-to-one polygraphs Authors:Cédric Ho Thanh Conference:HDRA 2018 Tags:opetope, opetopic set and polygraph Abstract: From the polynomial approach to the definition of opetopes of Kock et al., 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.. The equivalence between opetopic sets and many-to-one polygraphs ![]() The equivalence between opetopic sets and many-to-one polygraphs | ||||
Copyright © 2002 – 2025 EasyChair |