Partition complexes and trees
Abstract
We construct a homotopy initial functor from the partition complex of a finite set A to a category of trees with leaves labelled by A. As an application, this provides an equivalence between different bar constructions of an operad. In the differential graded case, this gives a very elementary proof of an equivalence originally due to Fresse.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.