References String Diagram Rewrite Theory II (Bonchi et al, 2022) Free GS-Monoidal Categories and Free Markov Categories (Fritz, Liang, 2023) String Diagram Rewriting Modulo Commutative (Co)Monoid Structure (Milosavljevic, Piedeleu, Zanasi, 2023)