Abstract
We construct a functor from the partition complex of a finite set A to a category of trees with leaves labelled by A and prove that it is homotopy initial. This construction and our proof are elementary and require very few preliminaries, but imply an equivalence between different bar constructions
... read more
