Lemma 5.30.12. Let $R$ be a topological ring. The category of topological modules over $R$ has colimits and colimits commute with the forgetful functor to the category of modules over $R$.

Proof. The exact same argument as used in the proof of Lemma 5.30.6 shows existence of colimits. To see the statement on commutation with the forgetful functor to $R$-modules we will use Categories, Lemma 4.24.5. Indeed, the forgetful functor has a right adjoint, namely the functor which assigns to a module the corresponding chaotic (or indiscrete) topological module. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).