EasyChair Smart Slide
The equivalence between opetopic sets and many-to-one polygraphs
The equivalence between opetopic sets and many-to-one polygraphs