59 citations · 140 across the 11 of their papers we have counts for
1 paper · 1 filter
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…