In a restrictive sense, a homomorphism is a function between the sets of two algebras that preserves the algebraic structure (nLab). **Examples**: [[Homomorphisms of groups]]; [[Homomorphism of Rings]]; [[Linear maps]]. # Properties **Types**: [[Isomorphism]] # Examples