TY - RPRT TI - Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure AU - Aleksandar Milosavljevic AU - Robin Piedeleu AU - Fabio Zanasi PY - 2025 DO - 10.46298/lmcs-21(1:12)2025 UR - https://arxiv.org/abs/2204.04274 ID - 2204.04274 ER -