Lesik's kernel conjecture for the SLnSL_nSLn spider category
Lesik's conjecture. The kernel kerRT0\ker RT_0kerRT0 is the monoidal ideal generated by elements given in relations … .