Is there a nice way to prove that the categorical product equals the topological product?
What I mean is the following:
Starting with a given family of topological spaces $X_i$ and any topological space $Z$ together with continuous mappings $f_i:Z\to X_i$ let me construct a categorical product in the category $\mathbf{Top}$.
First, I consider them as merely sets so I can construct a categorical product in the category $\mathbf{Set}$.
That is taking the cartesian product $\prod_{i\in I}X_i$ as object and the cartesian projections $\pi_i:\prod_{i\in I}X_i\to X_i$ as morphisms there is a uniquely determined morphism $f:Z\to \prod_{i\in I}X_i$ s.t. the diagram commutes $f\circ\pi_i=f_i$.
Now, I start to equip that product with some topology and I have to do that in such a way that the projections $\pi_i$ are continuous and that the respective mappings $f$ are continuous as well; so I see that the product topology must neither be to fine nor to coarse.
Since it has to hold for arbitrary objects $Z$ I rather start with the projections $\pi_i$ than with the mappings $f$; thus, I choose the coarsest topology s.t. the projections $\pi_i$ are still continuous and hope that this topology is coarse enough to make the mappings $f$ continuous.
That is I take all sets $\pi_i^{-1}(U_i)$ as generator for my product topology. That is certainly the coarsest topology s.t. the projections $\pi_i$ are still continuous.
At that point, I'm stuck by showing that the mapping $f$ actually become continuous w.r.t. the chosen topology!
Finally, this uniquely defines a categorical product in the category $\mathbf{Top}$ up to isomorphism by category theoretic considerations - so I'm done from the category theory side.
Next, I can check wether this is actually the topological product - but this is a rather easy exercise:
Given any map $f:Z\to\prod_{i\in I}X_i$.
If $f$ is continuous so is $\pi_i\circ f$ continuous as composition of continuous maps.
Conversely, if $\pi_i\circ f$ is continuous so is $f$ continuous by the existence and uniqueness of morphism for a categorical product.
Besides I want to understand:
Apart from the fact that the categorical product is unique up to isomorphism the question now arises wether the topological product is unique since careful considerations show two aspects:
- The start off for a topological product is different data:
$X_i$, $X$(new!) plus $\pi_i:X\to X_i$(new!) and $Z$ together with $f:Z\to X$(switched! + merely map!) where $X:=\prod_{i\in I}X_i$ - The characteristic property does not claim the existence and uniqueness of an according morphism making the diagram commute:
$f_i:=\pi_i\circ f$(taken not given!) and $f$(given not stated!)
So, going from the characteristic(!) property (I strictly distinguish from universal property here) I cannot claim the uniqueness of the topological product up to isomorphism without referring to the relation to the categorical product and its universal(!) property.
So, does somebody know how to carefully!!!!!! untwine this - again I want to stress carefully!!!!!! and not by some pretty standard blah blah blah which I read already here and there (I'm really sorry for being so rude in here - I just want to pretend by sort of everytime popping out nowhere leading answers)
Thanks everybody alot for hints, insights and ideas! =)