模范畴同态设E与F为两个群胚，它们的合成法则分别记为⊥与⊤

称从E到F中的映射f是群胚同态，如果对于E的任一元素偶(x，y)，有：设E与F为两个幺半群(两个群)，称从E到F中的映射

f是幺半群(群)的同态，如果f是群胚的同态，且E的中性元素的象是F的中性元素

(在群的情况下，后一个条件是自然满足的，但是从加法幺半群N到乘法幺半群N的映射x↦0是群胚的同态， 而并不因此就是幺半群的同态)

设G为乘法群，而a为G的元素

由关系f(n)=an所定义的从加法群Z到G中的映射f是群的同态

设A与B为两个环(两个体)，称从A到B中的映射f是环(体)的同态，如果f是加法群的同态，且为乘法么半群的同态

这就是说，对A的任一元素偶(x，y)，有f(x+y)=f(x)+f(y)f(xy)=f(x)f(y)，并且f将A的单位元变成B的单位元

例如，设n为非零自然数；使任一有理整数对应其对模n的剩余类映射是从环Z到环Z/nZ上的同态

设E与F为两个A-代数(两个酉A-代数)

称从E到F中的映射f是A-代数(酉A-代数)的同态，如果它是线性映射，并且是乘法群胚(乘法幺半群)的同态

例如，设E为交换体K上的非零有限n维向量空间，而B为E的基

则从E的全体自同态之酉代数ℒ(E)到K中元素构成的全体n阶方阵之酉代数Mn (K)中的映射，如果该映射使E的任一自同态对应它在基B中的矩阵，则这一映射是酉代数的同态

同态的概念能用抽象的方式加以推广

以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。