Functorial Goldman–Turaev formality conjecture for framed surfaces
Let PaB^f\boldsymbol{\widehat{\mathbf{PaB}}}^fPaBf be the prounipotent completion of the operad of parenthesized framed braids, let PaB^gf\boldsymbol{\widehat{\mathbf{PaB}}}^f_gPaBgf be the corres…