Mientras que un endomorfismo es una de morfismos o homomorphism de un objeto matemático a sí mismo, el término técnico para una función que tiene un dominio igual a es co-dominio es llamado un endofunction.
PD: UN homomórfica endofunction es un endomorfismo.
Edit: De Wikipedia:
Deje $S$ ser un conjunto arbitrario. Entre endofunctions en $S$ uno encuentra permutaciones de $S$ y constante de las funciones asociando a cada una de las $x \in S$ un determinado $c \in S$.
Cada permutación de $S$ tiene el codominio igual a su dominio y bijective y invertible. Una función constante en $S$ si $S$ tiene más de $1$ elemento, tiene un codominio que es un subconjunto de su dominio, no es bijective (y no invertible). La función de asociar a cada natural entero $n$ el piso de $n/2$ tiene su co-dominio igual a su dominio y a no es invertible.
Finito endofunctions son equivalentes a dirigido pseudoforests. Para los conjuntos de tamaño $n$ hay $n^n$ endofunctions en el set.
En Particular bijective endofunctions son las involuciones, es decir, las funciones coincidiendo con sus inversos.
