Talk:Category of topological vector spaces