1

If $K$ is a topological field, does the forgetful functor from the category of topological $K$-vector spaces to the category of $K$-vector spaces preserve all limits and colimits?

This is motivated by me needing to calculate some limits and colimits of topological vector spaces, and it would be immensely helpful if I at least knew what the underlying vector space was. But somehow my google search hasn't returned anything useful.

I know that in the category of topological spaces, this is true since the forgetful functor has a left and right adjoint. I also know that for topological groups, this is true and the resulting group is just the underlying group equipped with the respective initial / final topology. This suggestes that it should be true also in this case.

Smiley1000
  • 4,219
  • If $\mathcal{T}$ is any algebraic theory, then the category of topological $\mathcal{T}$-algebras is complete and cocomplete, and the forgetful functor to $\mathcal{T}$-algebras preserves and creates limits and colimits. The case of limits is very easy, the case of colimits a bit more involved. It is explained in the 2nd linked duplicate in the special case of groups, but the argument works in general. – Martin Brandenburg Nov 28 '24 at 14:19

0 Answers0