MAT

===Typy homomorfismu f===:

epimorfismus – f je surjektivní (pokryvá cílovou množinu)
monomorfismus – f je injektivní (mapuje jeden prvek pouze na jeden prvek)
izomorfismus – f je bijektivní (injektivní i surjektivní)
endomorfismus – A = A* (kde A a A* jsou dve algebry, mezi kterými uvazujeme homorofismus)
automorfismus – zároveň izomorfní a endomorfní