De hecho,el funtor que lleva una K-álgebra A a su espacio K-vectorial subyacente está en un par de funtores adjuntos con T, que es su "adjunto izquierdo".