nLab dendrex



The notion of dendrex is the operadic analog of the notion of simplex.


For XX a dendroidal set and TT a tree, a TT-shaped dendrex of XX is a morphism

Ω[T]X, \Omega[T] \to X \,,

hence equivalently, by the Yoneda lemma, an element of the set X(T)X(T).

Created on March 14, 2012 at 10:28:58. See the history of this page for a list of all contributions to it.