Is there a way to see the Tensor Algebra $T(E)$ of a vectorspace $E$ as the inverse limit from the $\otimes^r E , r \geq 0$ ?

By definition, the additive group of the tensor algebra $T(E)$ is the direct sum of the subgroups $T_r(E) = \otimes^r E$ for $r \geq 0$, so one could view it as a direct limit of these subgroups. More generally, the inverse limit is a subobject of a product, while the direct limit is a quotient of a coproduct (e.g., a direct sum). So morally speaking, the tensor algebra should not be an inverse limit. 


There might be some point to reconsidering the socalled tensor algebra, insofar as it is really a construction of the "universal kalgebra" AMattached to a module M over a (e.g.) commutative ring k. That is, it is the image under an adjoint functor, $Hom_{kmod}(V,FB) \cong Hom_{kalg}(AV,B)$, for kalgebras , where F is the forgetful functor from kalgebras to kmodules. Thus, the colimit of the tensor modules is a construction, proving existence. There is the usual categorical virtue that the properties do not depend on the construction. 

