  In this paper, we formalize precisely the sense in which the application of
cellular automaton to partial configuration is a natural extension of its local
transition function through the categorical notion of Kan extension. In fact,
the two possible ways to do such an extension and the ingredients involved in
their definition are related through Kan extensions in many ways. These
relations provide additional links between computer science and category
theory, and also give a new point of view on the famous Curtis-Hedlung theorem
of cellular automata from the extended topological point of view provided by
category theory. These relations provide additional links between computer
science and category theory. No prior knowledge of category theory is assumed.
