The root functor
Algebraic Topology
2025-05-21 v1 Category Theory
Abstract
In this paper we show that any -operad is equivalent to the localization of a discrete -free operad, working in the formalism of dendroidal sets. The key point is defining the root functor of a dendroidal set , a functor from the dendroidal nerve of a discrete operad into , which we show to be an operadic weak equivalence after localizing . This extends an analogous result for -categories due to Joyal: when is a simplicial set, is its category of elements, and the root functor is the last vertex map. As an application, we deduce that the -category of algebras over an -operad is equivalent to that of locally constant algebras over its discrete resolution.
Cite
@article{arxiv.2505.14288,
title = {The root functor},
author = {Francesca Pratali},
journal= {arXiv preprint arXiv:2505.14288},
year = {2025}
}
Comments
26 pages. Comments welcome!