homomorphism (Q215111)
structure-preserving map between two (algebraic, relational or mixed) structures of the same signature
Language:
Current Data About homomorphism
(P279) (Q11348)
(P1343) (Q124737633)
(P1889) (Q1948412)
(P2534) \begin{aligned}\phi(f_A(a_1,a_2,\dots,a_n))=f_B(\phi(a_1),\phi(a_2),\dots,\phi(a_n))\\r_A(a_1,a_2,\dots,a_n)\implies r_B(\phi(a_1),\phi(a_2),\dots,\phi(a_n))\end{aligned}
(P2579) (Q159943)
(Q467606)
(Q1636734)
(P6104) (Q8487137)
(P7235) \phi
f
r