Prove that the product $X \times Y$ is exactly the same as the terminal object in $\bf{Cone}(X, Y)$

30 Views Asked by At

I'm not sure if my thought is complete yet, but is the indexing category necessarily the discrete category $\bf{2}$?

1

There are 1 best solutions below

3
On

Hint: A morphism $Z \to X \times Y$ is uniquely specified by a pair of morphisms $Z \to X$ and $Z \to Y$, and vice versa. What, by definition, are the morphisms into the terminal object of the category of cones over $X$ and $Y$ (with no diagrammatic arrows between them)?