CARTOGRAPHER: A tool for string diagrammatic reasoning
Sobocinski P., Wilson P. W., Zanasi F. · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 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.