Definition 3.2.2. For , an -operad is called -connected if the unique map from to the terminal -operad is a -equivalence, ie if all the multi-mapping spaces in are -connected.
Original source: arXiv:1808.06006v3
Original source · 1808.06006v3
Definition 3.2.2. For , an -operad is called -connected if the unique map from to the terminal -operad is a -equivalence, ie if all the multi-mapping spaces in are -connected.
Original source: arXiv:1808.06006v3
Original source · 1808.06006v3