The equivalence between many-to-one polygraphs and opetopic sets

Cédric Ho Thanh

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 equivale…