Partition complexes and trees

2021/12/15 by Heuts, Gijs, Moerdijk, Ieke · 1 citation
#Algebraic Topology (math.AT) #FOS: Mathematics

paper · doi:10.48550/arxiv.2112.08043

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.

Cited by

• A comparison of definitions of equivariant trees

Related

• Koszul duality of the category of trees and bar construction for operads
• Equivariant Trees and Partition Complexes
• A simple uniform approach to complexes arising from forests
• Closed dendroidal sets and unital operads
• A prop structure on partitions