Key points are not available for this paper at this time.
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 -category Env (X) ^ from a dendroidal -operad X, in a way that generalizes the symmetric monoidal envelope of a coloured operad.
Miguel Barata (Mon,) studied this question.