Timeline for how to prove cartesian closed category with finite coproducts is distributive category?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| 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 1:06 | answer | added | Harry Gindi | timeline score: 0 | |
| Jan 22, 2011 at 1:00 | history | asked | user12394 | CC BY-SA 2.5 |