  Given a finite set $A$ and a group homomorphism $\phi : H \to G$, a
$\phi$-cellular automaton is a function $\mathcal{T} : A^G \to A^H$ that is
continuous with respect to the prodiscrete topologies and $\phi$-equivariant in
the sense that $h \cdot \mathcal{T}(x) = \mathcal{T}( \phi(h) \cdot x)$, for
all $x \in A^G, h \in H$, where $\cdot$ denotes the shift actions of $G$ and
$H$ on $A^G$ and $A^H$, respectively. When $G=H$ and $\phi = \text{id}$, the
definition of $\text{id}$-cellular automata coincides with the classical
definition of cellular automata. The purpose of this paper is to expand the
theory of $\phi$-cellular automata by focusing on the differences and
similarities with their classical counterparts. After discussing some basic
results, we introduce the following definition: a $\phi$-cellular automaton
$\mathcal{T} : A^G \to A^H$ has the unique homomorphism property (UHP) if
$\mathcal{T}$ is not $\psi$-equivariant for any group homomorphism $\psi : H
\to G$, $\psi \neq \phi$. We show that if the difference set $\Delta(\phi,
\psi)$ is infinite, then $\mathcal{T}$ is not $\psi$-equivariant; it follows
that when $G$ is torsion-free abelian, every non-constant $\mathcal{T}$ has the
UHP. Furthermore, inspired by the theory of classical cellular automata, we
study $\phi$-cellular automata over quotient groups, as well as their
restriction and induction to subgroups and supergroups, respectively.
