TY - RPRT TI - Rewriting modulo isotopies in pivotal linear $(2,2)$-categories AU - Benjamin Dupont PY - 2019 UR - https://arxiv.org/abs/1906.03904 ID - 1906.03904 ER -