  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.
