Rewriting structured cospans

DOI10.1017/S0960129526100668MaRDI QIDQ7410418zbMATH OpenFDO

Authors Daniel Cicala

Publication date 2026

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129526100668

zbMATH Keywords

compositionalitydouble pushout rewritingopen networksstructured cospans

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A Compositional Framework for Passive Linear Networks
• A congruence for Petri nets
• Artin glueing
• Categorifying the ZX-calculus
• Confluence of graph rewriting with interfaces
• Decorated cospans
• Foundations of Software Science and Computation Structures
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 1189283 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 1863181 (Why is no real title available?)
• Limits indexed by category-valued 2-functors
• Open Petri nets
• Open-graphs and monoidal theories
• Quasitoposes, Quasiadhesive Categories and Artin Glueing
• Rewriting modulo symmetric monoidal structure
• Spans of cospans in a topos
• Structured versus decorated cospans
• Toposes Are Adhesive

This page was built for publication: Rewriting structured cospans

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7410418)