加载中…
We prove that two models of (monochromatic) enriched -operads, due to Brantner and Chu–Haugseng, are equivalent. We show this as a consequence of the equivalence of two models of monoidal -categories of symmetric sequences and the composition product, due to Brantner and Haugseng. As a consequence, constructions and results formulated in either framework, such as notions of algebra and Koszul duality, are also shown to be equivalent.

生成讲解博客的中文版本

生成AI智能校验的中文版本