4 ms·
> it is not this or any of what we expect String diagrams of category theory potentially make working with invariants easier by embedding them in graphical tr
by mncharity 2y ago
> it is not this or any of what we expect
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 https://arxiv.org/pdf/2106.07763
[3] Medium article: https://medium.com/quantinuum/how-zx-calculus-reveals-the-logic-and-processes-of-quantum-mechanics-to-everyone-944fc3bbbb2c https://medium.com/quantinuum/how-zx-calculus-reveals-the-lo... ; A taste (guest lecture notes): https://arxiv.org/pdf/2303.03163 https://arxiv.org/pdf/2303.03163 ; old slides https://www.cs.ox.ac.uk/people/aleks.kissinger/slides/pdf/ak-vaxjo.pdf 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 https://arxiv.org/pdf/2012.13966