Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Are product morphisms for a categorical product in Top the same as for categorical product morphisms in Set?

More generally: How product morphisms for Top are characterized?

share|cite|improve this question
What is a "product morphism"? This is not standard terminology. – Zhen Lin Aug 17 '12 at 1:39
@ZhenLin: McLane – porton Aug 17 '12 at 5:27
I don't find any mentioning of a product morphism in Mac Lane. Are you talking about projections? – roman Aug 17 '12 at 7:31
@ZhenLin - "product of morphisms" – porton Aug 17 '12 at 8:17
That isn't standard terminology at all. See this MO question. – Zhen Lin Aug 17 '12 at 8:32
up vote 5 down vote accepted

Products in $\textbf{Top}$ are "the same" as in $\textbf{Set}$ in the following sense:

  • If $X_i$ ($i \in I$) is a family of topological spaces, then the underlying set of the product $\prod_i X_i$ is the product of the underlying sets, and the projections in $\textbf{Top}$ are the same as in $\textbf{Set}$.

  • Similarly for the relationship between a family of continuous maps $f_i : Y \to X_i$ and the combined map $f = \langle f_i \rangle : Y \to \prod_i X_i$.

But that is all we are able to say. In technical terms, the above amounts to claiming that the forgetful functor $U : \textbf{Top} \to \textbf{Set}$ preserves all small products. One can prove this by abstract nonsense by observing that $U$ has a left adjoint, namely the functor $\textbf{Set} \to \textbf{Top}$ that equips a set with the discrete topology. It is not true that $U$ reflects or creates products: this is because there are in general many possible topologies on the set $\prod_i X_i$ that make the projections $\pi_j : \prod_i X_i \to X_j$ continuous without necessarily having the universal property of a product.

If we restrict to the full subcategory $\textbf{KHaus}$ of compact Hausdorff spaces, it is true that the forgetful functor $U : \textbf{KHaus} \to \textbf{Set}$ preserves and reflects all small products. This is because $\textbf{Haus}$ is monadic over $\textbf{Set}$ – roughly speaking, this means $\textbf{KHaus}$ behaves a bit like a category of algebraic structures.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.