Un isomorfismo de un objeto consigo mismo: un morfismo bijectivo que preserva la estructura a: X → X con inversa a^{-1}, que representa una simetría o autoequivalencia del objeto.

Principio

Los automorfismos son las autoaplicaciones invertibles que preservan toda la estructura del objeto; forman un grupo bajo la composición (el grupo de automorfismos) y codifican las simetrías internas.

Demostración

Una rotación de 90 grados de un cuadrado considerado como objeto geométrico es un automorfismo; un operador lineal bijectivo en un espacio vectorial es un automorfismo en la categoría de espacios vectoriales.

Aplicación incorrecta

Llamar automorfismo a cualquier permutación del conjunto subyacente cuando no respeta la estructura adicional (operaciones de anillo, topología), o tratar endomorfismos no invertibles como automorfismos.

Consecuencia

Los automorfismos estructuran problemas de clasificación: los objetos suelen descomponerse en órbitas bajo el grupo de automorfismos y los invariantes son funciones constantes en cada órbita; los grupos de automorfismos miden simetría y rigidez.

Inversión

Un endomorfismo carente de inversa no es un automorfismo; perder invertibilidad elimina la estructura de grupo y muchas conclusiones sobre simetría.

Límite

Los automorfismos requieren la preservación de la estructura que codifica la categoría (operaciones algebraicas, topología, orden); un mismo conjunto subyacente puede tener menos automorfismos cuando se impone más estructura.

Tensión semántica

Automorfismo versus permutación: una permutación del conjunto subyacente puede no ser automorfismo salvo que preserve la estructura; también tensión entre automorfismos interiores y exteriores en contextos algebraicos.

Síntesis

Un automorfismo es un morfismo auto-invertible que captura una simetría genuina del objeto: como elementos de un grupo organizan las autoequivalencias del objeto y determinan invariantes y órbitas.