Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Is an arrow $f:X\to A\times B$ in a category with products always a pair of arrows $(g,h)$ with $g:X\to A$ and $h:Z\to B$? So if we have such an arrow $f:X\to A\times B$, can we always say that $f=(g,h)$ for some $g,h$?

I know that if you have two arrows $g:X\to A$ and $h:Z\to B$ then the universal property of the product gives an arrow $f:X\to A\times B$, but does the converse hold? Thanks.

share|improve this question
3  
$f=(\pi_0 f,\pi_1 f)$, so trivially yes, in a kind of unsatisfying way. :p –  Malice Vidrine Mar 31 at 15:18
    
What if I add the wonderful word "uniquely" in my question? –  Niels.Remb05 Mar 31 at 15:20
3  
Uniqueness is guaranteed by the universal property. $\pi_0 f$ and $\pi_1 f$ are the only pair of arrows that have $f$ as their product, and the "components" of $f$ are by definition the maps that come from composing with the projections. –  Malice Vidrine Mar 31 at 15:26
    
Thanks! I can not upvote your answer though, I am sorry; Maybe if you write it as an answer? This is going to sound very stupid I know, but is my question equivalent to asking whether there are maps $g,h$ such that $f=g\times h$? Because you mentioned the word product in your last comment. But then, isn't $g\times h$ a map $X\times X\to A\times B$ and not $X\to A\times B$? I am confused. Or extremely ignorant. –  Niels.Remb05 Mar 31 at 15:57
    
I'll write it up as an answer. And yes, the term "product map" is more usually reserved for morphisms of the form $f\times g$; but I couldn't think of what else to call the more usual $(f,g)$ :p –  Malice Vidrine Mar 31 at 16:02

1 Answer 1

up vote 1 down vote accepted

For any map $f:X\to A\times B$ we have that $f=(\pi_0 f, \pi_1 f)$. By the definition of the $(-,-)$ notation, we have that $\pi_0(\pi_0 f,\pi_1 f)=\pi_0 f$, and similarly $\pi_1(\pi_0 f,\pi_1 f)=\pi_1 f$. By the universal property of the products, $(\pi_0 f,\pi_1 f)$ is the unique map that yields these morphisms when composed with the projections; but obviously $f$ does too. So we must have $f=(\pi_0 f,\pi_1 f)$.

share|improve this answer

Your Answer

 
discard

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.