Truncated operads and simplicial spaces (Q1728189)

Let \(P\) be an operad in topological spaces. There is a well known construction that associates a symmetric monoidal topological category to \(P\), called the PROP of \(P\). The set of objects of this category can be identified with the set of natural numbers so that the monoidal product corresponds to addition. In [J. Topol. 11, No. 1, 65--143 (2018; Zbl 1390.57018)], \textit{P. B. De Brito} and \textit{M. Weiss} considered a topological category \(C_P\), the comma category over the object \(\underline{1}\) in the PROP associated to \(P\). The category \(C_P\) comes with a forgetful functor \(C_P\to \text{Fin}\), the category of finite sets. While it is possible to recover \(P\) from the associated PROP, the construction \(P\mapsto C_P\) forgets essential features. Nevertheless, given topological operads \(P\) and \(Q\), there is an induced map \[ {\mathbb{R}}\text{map}(P,Q)\to {\mathbb{R}}\text{map}_{N\text{Fin}}(NC_P, NC_Q) \] of derived mapping spaces, where \(N\) denotes the nerve construction. The main result in [loc. cit.] says that this map is a weak equivalence under some mild conditions on \(P\) and \(Q\). In this paper the author studies the case when the operads are \(k\)-truncated, which means they have operations of arity \(\leq k\) only. The main result is a generalization of the above result to \(k\)-truncated topological operads.