3 papers
cs.DC2021
Cellular Automata and Kan Extensions
Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
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 thro…
cs.DC2021
Accretive Computation of Global Transformations
Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
Global transformations form a categorical framework adapting graph transformations to describe fully synchronous rule systems on a given data structure.In this work we focus on dat…
math.CT2021
The Bicategory of Open Functors
Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
We want to replace categories, functors and natural transformations by categories, open functors and open natural transformations. In analogy with open dynamical systems, the adjec…