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 of an operad in great generality.
Original language | English |
---|---|
Pages (from-to) | 2723-2732 |
Number of pages | 10 |
Journal | Proceedings of the American Mathematical Society |
Volume | 151 |
Issue number | 6 |
Early online date | 14 May 2023 |
DOIs | |
Publication status | Published - 1 Jun 2023 |