nLab TopVect

Given a field $k$, the category $TopVect_k$ is the category whose objects are topological vector spaces and whose morphisms are continuous linear maps.