%I Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
%P 20:1-20:7
%S Leibniz International Proceedings in Informatics (LIPIcs)
%B 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)
%A P Sobocinski
%A P Wilson
%A F Zanasi
%X 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.
%D 2019
%O © Paweł Sobociński, Paul W. Wilson, and Fabio Zanasi;
licensed under Creative Commons License (CC-BY).
%T CARTOGRAPHER: a Tool for String Diagrammatic Reasoning
%V 139
%L discovery10081115
%K tool, string diagram, symmetric monoidal category, graphical reasoning
%C Dagstuhl, Germany
%E M Roggenbach
%E A Sokolova