TY  - GEN
TI  - CARTOGRAPHER: a Tool for String Diagrammatic Reasoning
AV  - public
Y1  - 2019/11/22/
EP  - 20:7
CY  - Dagstuhl, Germany
T3  - Leibniz International Proceedings in Informatics (LIPIcs)
KW  - tool
KW  -  string diagram
KW  -  symmetric monoidal category
KW  -  graphical reasoning
N2  - 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.
ID  - discovery10081115
PB  - Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
N1  - © Pawe? Soboci?ski, Paul W. Wilson, and Fabio Zanasi;
licensed under Creative Commons License (CC-BY).
SP  - 20:1
A1  - Sobocinski, P
A1  - Wilson, P
A1  - Zanasi, F
UR  - http://dx.doi.org/10.4230/LIPIcs.CALCO.2019.20
SN  - 1868-8969
ER  -