Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I know that cartesian closed category must have finite products and exponential objects. distributive category must have finite product, finite coproduct and s.t. A*0~0, A*B+A*c~A*(B+C). I think somehow I need to use the property of expoential objects to prove the isomorphism, but not sure how to do it. I would be grateful if someone can help me with that.

share|improve this question

1 Answer 1

up vote 0 down vote accepted

If $A\times (-)$ is a left adjoint, it must commute with colimits, and in particular, $\oplus$.

That is, write $B_1\oplus B_2$ as $colim_i B_i$, then $A\times colim_iB_i\cong colim_i(A\times B_i)$, from which the result follows.

Since $A\times (-)$ must preserve colimits, also notice that the initial object is the colimit over the empty diagram, so by preservation of colimits, we win again!

share|improve this answer
1  
Isn't it easier just to say A x (-) preserves finite coproducts (including empty ones) and leave it at that? –  Qiaochu Yuan Jan 22 '11 at 1:43
    
Dear Qiaochu: Sure, but I worked it out explicitly for the whimsical unknown(google) above. –  Harry Gindi Jan 22 '11 at 2:02
    
Thank you for your quick reply:) I have another question, how to prove for all objects in the distributive category, every morphism C~0(intial object) is an isomorphism? –  user12394 Jan 22 '11 at 16:05

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.