As with other free constructions, the functor "T" is left adjoint to some forgetful functor, here the functor which sends each "K"-algebra to its underlying vector space.
As with other free constructions, the functor "T" is left adjoint to some forgetful functor. In this case, it's the functor which sends each "K"-algebra to its underlying vector space.