Timeline for Are the axioms for higher category-theory effectively computable?
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 17, 2011 at 20:49 | vote | accept | Pelle Salomonsson | ||
| Jan 16, 2011 at 18:50 | answer | added | Peter LeFanu Lumsdaine | timeline score: 5 | |
| Jan 15, 2011 at 7:55 | vote | accept | Pelle Salomonsson | ||
| Jan 17, 2011 at 20:49 | |||||
| Jan 14, 2011 at 19:20 | answer | added | Tom Leinster | timeline score: 11 | |
| Jan 14, 2011 at 18:41 | history | asked | Pelle Salomonsson | CC BY-SA 2.5 |