The right cancellation property for certain classes of dendroidal anodynes

Miguel Barata
2024-07-15
Abstract:We generalize a previous result of Stevenson to the category of dendroidal sets, yielding the right cancellation property of dendroidal inner anodynes within the class of normal monomorphisms. As an application of this property, we show how to construct a symmetric monoidal $\infty$-category $\mathsf{Env}(X)^\otimes$ from a dendroidal $\infty$-operad $X$, in a way that generalizes the symmetric monoidal envelope of a coloured operad.
Category Theory,Algebraic Topology
What problem does this paper attempt to address?