Categorical products of cellular automata
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910896711794688 |
|---|---|
| author | Castillo-Ramirez, Alonso Vazquez-Aceves, Alejandro Zaldivar-Corichi, Angel |
| author_facet | Castillo-Ramirez, Alonso Vazquez-Aceves, Alejandro Zaldivar-Corichi, Angel |
| contents | We study two categories of cellular automata. First, for any group $G$, we consider the category $\mathcal{CA}(G)$ whose objects are configuration spaces of the form $A^G$, where $A$ is a set, and whose morphisms are cellular automata of the form $τ: A_1^G \to A_2^G$. We prove that the categorical product of two configuration spaces $A_1^G$ and $A_2^G$ in $\mathcal{CA}(G)$ is the configuration space $(A_1 \times A_2)^G$. Then, we consider the category of generalized cellular automata $\mathcal{GCA}$, whose objects are configuration spaces of the form $A^G$, where $A$ is a set and $G$ is a group, and whose morphisms are $ϕ$-cellular automata of the form $\mathcal{T} : A_1^{G_1} \to A_2^{G_2}$, where $ϕ: G_2 \to G_1$ is a group homomorphism. We prove that a categorical weak product of two configuration spaces $A_1^{G_1}$ and $A_2^{G_2}$ in $\mathcal{GCA}$ is the configuration space $(A_1 \times A_2)^{G_1 \ast G_2}$, where $G_1 \ast G_2$ is the free product of $G_1$ and $G_2$. The previous results allow us to naturally define the product of two cellular automata in $\mathcal{CA}(G)$ and the weak product of two generalized cellular automata in $\mathcal{GCA}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_21567 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Categorical products of cellular automata Castillo-Ramirez, Alonso Vazquez-Aceves, Alejandro Zaldivar-Corichi, Angel Cellular Automata and Lattice Gases Category Theory Group Theory We study two categories of cellular automata. First, for any group $G$, we consider the category $\mathcal{CA}(G)$ whose objects are configuration spaces of the form $A^G$, where $A$ is a set, and whose morphisms are cellular automata of the form $τ: A_1^G \to A_2^G$. We prove that the categorical product of two configuration spaces $A_1^G$ and $A_2^G$ in $\mathcal{CA}(G)$ is the configuration space $(A_1 \times A_2)^G$. Then, we consider the category of generalized cellular automata $\mathcal{GCA}$, whose objects are configuration spaces of the form $A^G$, where $A$ is a set and $G$ is a group, and whose morphisms are $ϕ$-cellular automata of the form $\mathcal{T} : A_1^{G_1} \to A_2^{G_2}$, where $ϕ: G_2 \to G_1$ is a group homomorphism. We prove that a categorical weak product of two configuration spaces $A_1^{G_1}$ and $A_2^{G_2}$ in $\mathcal{GCA}$ is the configuration space $(A_1 \times A_2)^{G_1 \ast G_2}$, where $G_1 \ast G_2$ is the free product of $G_1$ and $G_2$. The previous results allow us to naturally define the product of two cellular automata in $\mathcal{CA}(G)$ and the weak product of two generalized cellular automata in $\mathcal{GCA}$. |
| title | Categorical products of cellular automata |
| topic | Cellular Automata and Lattice Gases Category Theory Group Theory |
| url | https://arxiv.org/abs/2503.21567 |