The Stacks project

Proof. It is enough to prove the existence and commutation for products and equalizers, see Categories, Lemma 4.14.11. Let $M_ i$, $i \in I$ be a collection of topological modules over $R$. Take the usual product $M = \prod M_ i$ with the product topology. Since $M \times M = \prod (M_ i \times M_ i)$ as a topological space (because products commutes with products in any category), we see that addition on $M$ is continuous. Similarly for multiplication $R \times M \to M$. Let $a, b : M \to M'$ be two homomorphisms of topological modules over $R$. Then as the equalizer we can simply take the equalizer of $a$ and $b$ as maps of topological spaces, which is the same thing as the equalizer as maps of modules endowed with the induced topology. $\square$