To prove that $\coprod_{i \in I} (Y \times X_{i})$ and $Y \times \coprod_{i \in I}X_{i}$ are homeomorphic, I constructed $h: \coprod_{i \in I} (Y \times X_{i}) \rightarrow Y \times \coprod_{i \in I}X_{i}: ((y,x),i) \longmapsto (y,(x,i)).$
Now it is clear without any proof that $h$ is bijective.
To prove that $h$ is continuous I did the following:
$A \subseteq Y \times \coprod X_{i}$ is open $\iff A = B \times C, B \subseteq Y $ open, $C \subseteq \coprod X_{i}$ open $\iff A = B \times C, B \subseteq Y$ open, $C \cap X_{i}$ open in $X_{i}, \forall i \in I$.
To prove that $h^{-1}(A)$ is open in $\coprod Y \times X_{i}$, we must show that $A \cap (Y \times X_{i})$ is open in $Y \times X_{i}, \forall i \in I$. Now we have $A \cap (Y \times X_{i}) = (B \times C) \cap (Y \times X_{i}) = (B \cap Y) \times (C \cap X_{i}) = B \times (C \cap X_{i})$, where the first component is open in $Y$ and the second in $X_{i}$ because of the previous facts.
Is this reasoning correct?
For the second part of the prove, we must show that $h^{-1}$ is continuous, or, equivalent, that $h$ is open. Therefore I take $A \subseteq \coprod (Y \times X_{i})$ open. This means that $\forall i \in I: A \cap (Y \times X_{i})$ open in $Y \times X_{i}$. So write $A = E \times F$, to prove that $h(A)$ is open in $Y \times \coprod X_{i}$ we must show that $ E \cap Y$ is open in $Y$ (which is already the case) and that $\forall i \in I F\cap X_{i}$ is open in $X_{i}$ (which is also true).
Is this second reasoning also correct?
If not, where do I go wrong?
As always, thanks for the help!