English

The root functor

Algebraic Topology 2025-05-21 v1 Category Theory

Abstract

In this paper we show that any \infty-operad is equivalent to the localization of a discrete Σ\Sigma-free operad, working in the formalism of dendroidal sets. The key point is defining the root functor of a dendroidal set XX, a functor from the dendroidal nerve of a discrete operad Ω/X\mathbf{\Omega}/X into XX, which we show to be an operadic weak equivalence after localizing Ω/X\mathbf{\Omega}/X. This extends an analogous result for \infty-categories due to Joyal: when XX is a simplicial set, Ω/X\mathbf{\Omega}/X is its category of elements, and the root functor is the last vertex map. As an application, we deduce that the \infty-category of algebras over an \infty-operad is equivalent to that of locally constant algebras over its discrete resolution.

Keywords

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!

R2 v1 2026-07-01T02:24:55.610Z