CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper)
Paweł Sobociński, Wilson, Paul W., Fabio Zanasi · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2019
We introduce cartographer, a tool for editing and rewriting string diagrams of symmetric monoidal categories. Our approach is principled: the layout exploits the isomorphism between string diagrams and certain cospans of hypergraphs; the implementation of rewriting is based on the soundness and completeness of convex double-pushout rewriting for string diagram rewriting.