Text this: Causal Graph Dynamics and Kan Extensions