[[Աբստրակտ հանրահաշիվ|Աբստրակտ հանրահաշվում]], '''հոմոմորֆիզմը''' [[մորֆիսմ|կառուցվածքը պահպանող]] արտապատկերում է երկու [[հանրահաշվական կառուցվածքներ]]ի (ինչպիսիք են [[խումբ (մաթեմատիկա)|խմբերը]], [[օղակ (մաթեմատիկա)|օղակները]], կամ [[վեկտորական տարածությունները]]). ''Հոմոմորֆիզմ'' բառը ծագում է [[հին հունարեն]]ից՝ ''[[wikt:ὁμός|ὁμός]] (հոմոս)'' "նույն" և ''[[wikt:μορφή|μορφή]] (մորֆ)'' "տեսք" բառերից. [[Իզոմորֆիզմ]]ը, [[ավտոմորֆիսմ]]ը, և [[էնդոմորֆիզմ]]ը հոմոմորֆիզմի մասնավոր դեպքերն են։
'''Հոմոմորֆիզմ''' (հոմո... և {{lang-gr|μορφή}}-տեսք, ձև), երկու հանրահաշվական համակարգերի (խմբեր, օղակներ և այլն) միջև սահմանվող հարաբերություն։ Հոմոմորֆիզմը մի հանրահաշվական համակարգի տարրերի և հարաբերությունների (գործողությունների) բազմությունները համապատասխանաբար արտապատկերում է երկրորդ համակարգի տարրերի և հարաբերությունների բազմությունների մեջ այնպես, որ եթե առաջին համակարգի <math>X_1,..., X_n</math> տարրերը գտնվում են <math>\theta</math> հարաբերության մեջ, և <math>X_1 \rightarrow X'_1,...,X_n \rightarrow X'_n, \theta \rightarrow \theta '</math>, ապա, <math>X'_1,...,X'_n</math> տարրերը երկրորդ համակարգում գտնվում են <math>\circleddash ' </math> հարաբերության մեջ։
