Category of topological vector spaces (original) (raw)

In mathematics, the category of topological vector spaces is the category whose objects are topological vector spaces and whose morphisms are continuous linear maps between them. This is a category because the composition of two continuous linear maps is again a continuous linear map. The category is often denoted TVect or TVS. Fixing a topological field K, one can also consider the subcategory TVectK of topological vector spaces over K with continuous K-linear maps as the morphisms.