1 problem

Let the category of one-colored simplicial (wheeled) properads carry the model structure lifted from that on $\mathtt{sSet}^{\Sigma^{\operatorname{op}}\times \Sigma}$, and let the…