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.
CARTOGRAPHER: A tool for string diagrammatic reasoning / Sobocinski P.; Wilson P.W.; Zanasi F.. - ELETTRONICO. - 139:(2019), pp. 20.1-20.7. (Intervento presentato al convegno 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019) tenutosi a University College London, gbr nel 3 - 6 June 2019) [10.4230/LIPIcs.CALCO.2019.20].
CARTOGRAPHER: A tool for string diagrammatic reasoning
Zanasi F.
2019
Abstract
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.File | Dimensione | Formato | |
---|---|---|---|
LIPIcs-CALCO-2019-20.pdf
accesso aperto
Tipo:
Versione (PDF) editoriale
Licenza:
Licenza per Accesso Aperto. Creative Commons Attribuzione (CCBY)
Dimensione
407.23 kB
Formato
Adobe PDF
|
407.23 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.