2 problems

Let $\mathcal{C}$ be a Gray monoid. A braided and symmetric pseudomonoid additivity conjecture. Every braiding on $\mathcal{C}$ induces an equivalence … of 2-categories, and every…

Let $\mathcal{B}$ be a monoidal bicategory. For each monoid object in $\mathcal{B}$, consider lax monoidal $1$-cells and monoidal $2$-cells. Iterated lax monoid conjecture. It shou…