String Diagrams for Layered Explanations

DOI10.4204/eptcs.380.21arXiv2207.03929OpenAlexW4385342853MaRDI QIDQ6150168

Fabio Zanasi, Unnamed Author

Publication date: 5 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2207.03929

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• A calculus of communicating systems
• A Survey of Graphical Languages for Monoidal Categories
• Functorial Boxes in String Diagrams
• Open Diagrams via Coend Calculus
• Categorical algebra
• Unnamed Item
• Unnamed Item