The notion of dendrex is the operadic analog of the notion of simplex.
For a dendroidal set and a tree, a -shaped dendrex of is a morphism
hence equivalently, by the Yoneda lemma, an element of the set .
Created on March 14, 2012 10:28:57
by Urs Schreiber