TY - RPRT TI - The equivalence between many-to-one polygraphs and opetopic sets AU - Cédric Ho Thanh PY - 2021 UR - https://arxiv.org/abs/1806.08645 ID - 1806.08645 ER -