FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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: