Advanced# Diagram rewriting A simple circuit Asymptotic worst-case Snake removal New features v0.3.3 1. Classical-quantum maps and mixed circuits 2. ZX diagrams and PyZX interface 3. Parametrised diagrams, formal sums and automatic gradients 4. Learning functors, diagrammatically Define your own category Syntax categories Lawvere diagrams Structural morphisms Structure-preserving functors Equality of diagrams Semantic categories Finite sets as types Functions as boxes Diagrammatic Differentiation 1) Parametrised matrices 2) Parametrised diagrams 3) Product rule 4) Chain rule 5) Applications Diagrammatic Differentiation in Practice Implementing automatic differentiation in discopy Rules for diffentiating diagrams Rules for differentiating ZX diagrams Doubling via the CPM construction Differntiating Circuits Checks for Diagrams Checks for Circuits Bonus: Finding the exponent of a gate using Stone’s theorem Future Work discopy2pyzx monoid-delooping