Una correspondencia entre categorías que asigna a cada objeto y morfismo de la categoría fuente un objeto y morfismo en la categoría destino, preservando identidades y composición (covariante) o invirtiendo flechas (contravariante mediante la categoría opuesta).

Principio

Un funtor traduce la estructura categórica: preserva el álgebra de composición de morfismos y las identidades para que construcciones categóricas (límites, colímites, naturalidad) sean respetadas o estén coherentemente relacionadas entre categorías.

Demostración

Funtor olvido U: Grupos → Conjuntos asigna a cada grupo su conjunto subyacente y a cada homomorfismo de grupos la función subyacente; el funtor Hom(A, -) manda objetos a conjuntos Hom y morfismos a aplicaciones de pre- o postcomposición.

Aplicación incorrecta

Considerar una asignación sólo sobre objetos como un funtor sin especificar imágenes de morfismos o sin comprobar las leyes de identidad/composición; asumir que un funtor es lleno, fiel o esencialmente suprayectivo sin verificación.

Consecuencia

Los funtores permiten el transporte de estructuras, la comparación de categorías, la concepción de transformaciones naturales y la formulación de equivalencias y adjunciones; hacen concretas y componibles relaciones abstractas.

Inversión

Una mera correspondencia de objetos que ignora morfismos o composición no es un funtor; tal reversión impide razonar sobre diagramas y naturalidad.

Límite

Debe especificarse la acción sobre objetos y morfismos y satisfacerse la funtorialidad (preservar identidades y composiciones); covariante frente a contravariante debe constar. Las generalizaciones en categorías superiores (2‑funtores, ∞‑funtores) amplían la idea.

Tensión semántica

Funtor versus mera asignación de objetos: los funtores deben gestionar morfismos coherentemente; hay confusión frecuente entre asignaciones puramente de conjuntos y funtores categóricos, así como entre comportamientos covariantes y contravariantes.

Síntesis

Un funtor es el traductor sistemático entre categorías que lleva objetos y flechas respetando el álgebra de composición y las identidades, posibilitando la comparación y transferencia coherente de estructura categórica.