A wheeled properad is roughly, if I understand correctly, a properad (or PROP) with contraction maps $O\_i^j\to O\_{i-1}^{j-1}$ which contract an input with an output. There is a book, *[Infinity Properads and Infinity Wheeled Properads](https://arxiv.org/abs/1410.6716)* by Hackney, Robertson and Yau, which defines a category of wheeled infinity-properads, from the point of view of a Joyal/Lurie-like combinatorial picture (as simplicial sets with some extra structure). 


Now the combinatorially defined infinity-category of operads is equivalent to the category of topological operads when the two sides are viewed as model categories or $\infty$-categories obtained from localization. If I understand correctly, a similar statement holds for PROPs.


My question is whether one can define a category of topological wheeled properads and a model structure on this category which is equivalent to the definition of Hackney, Robertson and Yau. In fact, I haven't even been able to find a notion of topological wheeled properad defined anywhere - is there a reason why this is nontrivial?



Model structure on wheeled topological properads
I can only answer the first half of your question. I defined the notion of a topological wheeled properad in the preprint *[Dwyer-Kan Homotopy Theory of Algebras over Operadic Collections](https://arxiv.org/abs/1608.01867)*. As usual the ambient category can be any bicomplete symmetric monoidal closed category. You can also replace wheeled properads with other operad-like structures, such as dioperads, props, and wheeled operads. I showed that there is a Dwyer-Kan model structure on the category of all simplicial wheeled properads. You can replace the ambient category with any convenient model category (see Definition 6.5.2 in that paper). Once again this Dwyer-Kan model structure exists for other operad-like structures, not just enriched wheeled properads. However, I do not know whether this is Quillen equivalent to the combinatorially defined model of infinity wheeled properads in the Hackney-Robertson-Yau book. I also do not know whether this is true for props.


