2026-07-23T22:06:52Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:11448 2024-03-06T10:47:08Z ddc:004 open_access

CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper) Sobociński, Paweł Wilson, Paul W. Zanasi, Fabio tool string diagram symmetric monoidal category graphical reasoning 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Paweł Sobociński and Paul W. Wilson and Fabio Zanasi 2019 Is Part Of LIPIcs, Volume 139, 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CALCO.2019.20 urn:nbn:de:0030-drops-114482 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.20 eng https://creativecommons.org/licenses/by/3.0/legalcode