Zaslat SMS: Causal Graph Dynamics and Kan Extensions