Broad posets, trees, and the dendroidal category
arXiv:1201.3987
Abstract
An extension of order theory is presented that serves as a formalism for the study of dendroidal sets analogously to way the formalism of order theory is used in the study of simplicial sets.