4 problems

Conjecture. For every $a\in\mathbb{C}^4$, the following are equivalent: the properad $\mathcal{P}_a$ induces a confluent system; the morphism $\varphi_a$ is a bijection in weight…

Let $\Omega(\overline{\textsf N}^{fr})$ be the cobar construction of the properad of framed curves, let $\Omega(\textsf{Frob}^*)$ be the cobar construction of the dual Frobenius pr…

A labelled cospan category is a symmetric monoidal category equipped with a symmetric monoidal functor to the category of cospans satisfying the pullback condition specified in the…

Let $\operatorname{sProperad}$ be the category of simplicially enriched properads, and let … be the properadic nerve functor, where $\varGamma$ is the graphical category. Properadi…