特定 dendroidal anodynes 类中的右消去性

我们推广了 Stevenson 的前一项结果至树枝状集合的范畴，得出在正常单射射范畴内，树枝状内 anodyne 的右消去性。作为此性质的应用，我们展示了如何从树枝状 $\infty$ - operad $X$ 中构造对称单子 $\mathsf{Env}(X)^\otimes$ ，方法概括了彩色操作子的对称单子包。