Timeline for Why is a braided left autonomous category also right autonomous?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 8, 2014 at 10:49 | vote | accept | pintoch | ||
| Apr 7, 2014 at 21:01 | comment | added | Todd Trimble | You know, it's not just one axiom that needs to be applied. It's a longish derivation; see the answers by Peter and me (my answer directs you to a personal web page of mine). | |
| Apr 7, 2014 at 19:38 | answer | added | Peter LeFanu Lumsdaine | timeline score: 14 | |
| Apr 7, 2014 at 13:57 | answer | added | Todd Trimble | timeline score: 14 | |
| Apr 7, 2014 at 11:39 | review | First posts | |||
| Apr 7, 2014 at 11:46 | |||||
| Apr 7, 2014 at 11:22 | history | asked | pintoch | CC BY-SA 3.0 |