Definition 3.2.1. For , a map of -operads is called a -equivalence, if the induced map is an equivalence of -operads, ie if it is essentially surjective on the underlying categories and induces an equivalence on the -truncations of all the multi-mapping spaces.
Original source: arXiv:1808.06006v3
Original source · 1808.06006v3