TY - RPRT TI - String diagrams for Strictification and Coherence AU - Paul Wilson AU - Dan Ghica AU - Fabio Zanasi PY - 2024 DO - 10.46298/lmcs-20(4:8)2024 UR - https://arxiv.org/abs/2201.11738 ID - 2201.11738 ER -