Causal graph dynamics and Kan extensions

DOI10.46298/LMCS-22(1:16)2026MaRDI QIDQ6840500zbMATH OpenFDO

Authors Luidnel Maignan, Antoine Spicher

Publication date 23 March 2026

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-22(1:16)2026

zbMATH Keywords

category theorycausal graph dynamicsdynamical systemsglobal transformationsKan extensionsmodel of computations

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• A rewriting calculus for multigraphs with ports
• Causal graph dynamics
• Causal Graph Dynamics
• Cellular automata and Kan extensions
• Constraining rule-based dynamics with types
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Lindenmayer systems and global transformations
• Reversible causal graph dynamics: invertibility, block representation, vertex-preservation

This page was built for publication: Causal graph dynamics and Kan extensions

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