En el lenguaje de la teoría de las categorías, tomar el dual de los espacios vectoriales y la transpuesta de funciones lineales es por lo tanto un funtor contravariante de la categoría de los espacios vectoriales sobre F a sí misma.