Diferencia entre revisiones de «Homomorfismo»

En [[matemáticas]], un '''homomorfismo''', (o a veces simplemente [[morfismo]]) desde un objeto matemático a otro de la misma [[categoría (matemática)|categoría]], es una [[función matemática|función]] que es compatible con toda la [[estructura matemática|estructura]] relevante. La noción de homomorfismo se estudia abstractamente en el [[álgebra universal]], y ése es el punto de vista tomado en este artículo. Una noción más general de [[morfismo]] se estudia abstractamente en la [[teoría de las categorías]]. Por ejemplo, si un objeto consiste en un conjunto ''X'' con un [[orden parcial|orden]] <v y el otro objeto consiste en un conjunto ''Y'' con orden u, entonces debe valer para la función <math>f:X\Longrightarrow \;Y</math> que, si