Remark 2.2.7. Using 2.1.1, we have an equivalence of -categories . Since is an equivalence after tensoring with , we get and therefore also . We allow ourselves to pass freely between the two points of view on (unital, reduced) pointed -operads.
Original source: arXiv:1808.06006v3
Original source · 1808.06006v3