59 citations · 59 across the 1 of their papers we have counts for
1 paper
Joachim Kock, André Joyal, Michael Batanin +1
We give an elementary and direct combinatorial definition of opetopes in terms of trees, well-suited for graphical manipulation and explicit computation. To relate our definition t…