a CS and CT conference in Italy in '97. (005.1 C357 1997)
Trying to understand the definition of opetopes therein.
They use it to define weak omega-categories.
There almost seems to be a vague connection between opetope composition
and the transitivity axiom of Grothendieck topologies, but maybe
I'm hallucinating it.