STAF 2024
Mon 8 - Thu 11 July 2024 Enschede, Netherlands
Wed 10 Jul 2024 11:00 - 11:30 at Waaier 2 - ICGT Session 1 Chair(s): Russ Harmer

On the one side, the formalism of Global Transformations comes with the claim of capturing any transformation of space that is local, synchronous and deterministic. The claim has been proven for different classes of models such as mesh refinements from computer graphics, Lindenmayer systems from morphogenesis modeling, and cellular automata from biological, physical and parallel computation modeling. The Global Transformation formalism achieves this by using category theory for its genericity, and more precisely the notion of Kan extension to determine the global behaviors based on the local ones. On the other side, Causal Graph Dynamics describe the transformation of port graphs in a synchronous and deterministic way. In this paper, we show the precise sense in which the claim of Global Transformations holds for them as well. This is done by showing different ways in which they can be expressed as Kan extensions, each of them highlighting different features of Causal Graph Dynamics. Along the way, this work uncovers the interesting class of Monotonic Causal Graph Dynamics and their universality among General Causal Graph Dynamics.

Causal Graph Dynamics & Kan Extensions (ICGT'24 - presentation.pdf)1.12MiB

Wed 10 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
ICGT Session 1ICGT Research Papers at Waaier 2
Chair(s): Russ Harmer CNRS
11:00
30m
Talk
Causal Graph Dynamics and Kan ExtensionsICGT Best Theory Paper
ICGT Research Papers
Luidnel Maignan Univ. Paris-Créteil, P: Antoine Spicher LACL, Université Paris-Est Créteil
Pre-print File Attached
11:30
30m
Talk
The ‘Causality’ Quagmire for Formalised Bond Graphs
ICGT Research Papers
P: Richard Banach University of Manchester, John Baugh North Carolina State University
12:00
30m
Talk
Tracelet Hopf Algebras and Decomposition SpacesJournal-first paper
ICGT Research Papers
P: Nicolas Behr CNRS, Université Paris Cité, IRIF
Link to publication DOI Media Attached