sentences:  Projective limits and inductive limits exist in the categories of left and right modules.Over a commutative ring, together with the tensor product of modules ⊗, the category of modules is a symmetric monoidal category.The category "K"-Vect (some authors use Vect"K") has all vector spaces over a field "K" as objects, and "K"-linear maps as morphisms.