2000 character limit reached
The equivalence between many-to-one polygraphs and opetopic sets (1806.08645v4)
Published 22 Jun 2018 in math.CT
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.
Collections
Sign up for free to add this paper to one or more collections.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.