String diagrams of category theory potentially make working with invariants easier by embedding them in graphical transformations, so they "just maintain themselves". Eg, electric circuit laws.[2] Or here, ZX-calculus/diagrams for QM.[3]
[2] https://arxiv.org/pdf/2106.07763 [3] Medium article: https://medium.com/quantinuum/how-zx-calculus-reveals-the-lo... ; A taste (guest lecture notes): https://arxiv.org/pdf/2303.03163 ; old slides https://www.cs.ox.ac.uk/people/aleks.kissinger/slides/pdf/ak... ; ZX-calculus for the working quantum computer scientist (2020; 90+ pages) https://arxiv.org/pdf/2012.13966