Causal Graph Dynamics and Kan Extensions