TY - RPRT TI - Coherent Presentations of Monoidal Categories AU - Pierre-Louis Curien AU - Samuel Mimram PY - 2017 DO - 10.23638/lmcs-13(3:31)2017 UR - https://arxiv.org/abs/1705.03553 ID - 1705.03553 ER -