Carlos Zapata-Carratala: Hypergraph Rewriting as a Foundation for Diagrammatic Calculus