“…Moreover, Heis F,k can be presented equivalently as the strict k-linear monoidal supercategory generated by the objects Q + , Q − , and morphisms s, x, c, d, c , d , and β f , f ∈ F , subject only to the relations (4), (6) to (10), (13), (14), and (18) to (23). In the above relations, in addition to the rightward crossing t defined by (3), we have used the left crossing t : 5 (2019) and the negatively dotted bubbles defined, for f ∈ F , by…”