Timeline for how to prove cartesian closed category with finite coproducts is distributive category?
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 22, 2011 at 16:05 | comment | added | user12394 | 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? | |
| Jan 22, 2011 at 16:00 | vote | accept | user12394 | ||
| Jan 22, 2011 at 16:00 | vote | accept | user12394 | ||
| Jan 22, 2011 at 16:00 | |||||
| Jan 22, 2011 at 2:02 | comment | added | Harry Gindi | Dear Qiaochu: Sure, but I worked it out explicitly for the whimsical unknown(google) above. | |
| Jan 22, 2011 at 1:43 | comment | added | Qiaochu Yuan | Isn't it easier just to say A x (-) preserves finite coproducts (including empty ones) and leave it at that? | |
| Jan 22, 2011 at 1:11 | history | edited | Harry Gindi | CC BY-SA 2.5 |
added 168 characters in body
|
| Jan 22, 2011 at 1:06 | history | answered | Harry Gindi | CC BY-SA 2.5 |