If $A$ and $B$ are isomorphic and $C$ and $D$ are isomorphic, then $A\times C$ and $B\times D$ are isomorphic? This seems very obvious, and that may be the reason why I cannot find this online. I think it's yes, and my proof is that the isomorphism between the products is the product of the isomorphisms: Given
$$\varphi_1: A \to B,\ \varphi_2: C \to D,$$
define $$\varphi(a \times c) = \varphi_1(a) \times \varphi_2(c)$$
and then show that $\varphi$ is injective, surjective and a homomorphism, all of which follow from injectivity, surjectivity and homomorphism property of $\varphi_1$ and $\varphi_2$.
First question, am I correct?
Second question, what's the relation between the above, this exercise from Artin Algebra, this exercise from Munkres Topology and this theorem from Munkres Topology?


*

*Exercise 2.11.8 in Artin Algebra





*

*Exercise 18.10 in Munkres Topology





*

*Theorem 18.4 ("Maps into products") in Munkres Topology:



By the way, the context for my questions is this theorem in Munkres Topology:


*

*Theorem 67.8 in Munkres Topology



 A: Yes, this is true.
In general a product in a category preserves morphisms, (and so does coproduct). 
In other words if $\mathcal{C}$ is a category with a product $(\times)$ and coproduct $(\ast)$, and $A,B,C,D \in \operatorname{obj}\mathcal{C}$, such that there exist morphisms $\phi : A \to B$ and $\varphi : C \to D$, then there exist unique morphisms corresponding to product of our initial morphisms: 
$$(\phi \times \varphi) : A \times C \to B \times D$$
And a unique morphism corresponding to coproduct of our initial morphisms:
$$(\phi \ast \varphi) : A \ast C \to B \ast D$$ 
If both of our morphisms $\phi, \varphi$ are isomorphisms, then both $(\phi \times \varphi)$ and $(\phi \ast \varphi)$ are isomorphisms as well. All of this is due to properties of product and coproduct, this is true from universal property. This is the connection between all those books I suppose, they just work in different categories:


*

*${\bf Top}$ - topological spaces, where morphisms are continuous maps and isomorphisms are homeomorphisms (conitnuous map with continuous inverse); and products and coproducts are given by Cartesian product and wedge.

*${\bf Grp}$ - groups, where morphisms are homomorphisms and isomorphisms are, well... isomorphisms; and products and corproducts are given by direct product and free product.

*${\bf Ab}$ - Abelian groups) which are subcategory of groups, in which, interestingly enough, products and corproducts coincide, (free product is the same as direct product).


Not sure if this is what you're looking for though.
