Duality for positive opetopes and tree complexes

We show that the (positive) zoom complexes, here called tree complexes, with fairly natural morphisms, form a dual category to the category of positive opetopes with contraction epimorphisms. We also show how this duality can be slightly generalized to thicket complexes and opetopic cardinals.