Sobocinski, P;
Wilson, P;
Zanasi, F;
(2019)
CARTOGRAPHER: a Tool for String Diagrammatic Reasoning.
In: Roggenbach, M and Sokolova, A, (eds.)
8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019).
(pp. 20:1-20:7).
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik: Dagstuhl, Germany.
Preview |
Text
LIPIcs-CALCO-2019-20.pdf - Published Version Download (417kB) | Preview |
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.
| Type: | Proceedings paper |
|---|---|
| Title: | CARTOGRAPHER: a Tool for String Diagrammatic Reasoning |
| Event: | 8th Conference on Algebra and Coalgebra in Computer Science (CALCO), 3 to 6 June 2019, London, UK |
| ISBN-13: | 978-3-95977-120-7 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.4230/LIPIcs.CALCO.2019. |
| Publisher version: | http://dx.doi.org/10.4230/LIPIcs.CALCO.2019.20 |
| Language: | English |
| Additional information: | © Paweł Sobociński, Paul W. Wilson, and Fabio Zanasi; licensed under Creative Commons License (CC-BY). |
| Keywords: | tool, string diagram, symmetric monoidal category, graphical reasoning |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10081115 |
Loading...
Loading...Loading...| 1. |  Germany | 2 |
| 2. |  Indonesia | 1 |
| 3. |  Canada | 1 |
| 4. |  Japan | 1 |
| 5. |  United Kingdom | 1 |
| 6. |  China | 1 |
Archive Staff Only
 |
View Item |
