Product Space is Product in Category of Topological Spaces

Theorem

Let $\mathbf {Top}$ be the category of topological spaces.

Let $\family {\struct {X_i, \tau_i} }_{i \mathop \in I}$ be an indexed family of topological spaces where $I$ is an arbitrary index set.

Let $\struct {\XX, \tau}$ be the product space of $\family {\struct {X_i, \tau_i} }_{i \mathop \in I}$.

Then $\struct {\XX, \tau}$ is the product of $\family {\struct {X_i, \tau_i} }_{i \mathop \in I}$ in $\mathbf{Top}$.

Proof

This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.