Timeline for What the differences between equivalence in HoTT and isomorphism in category？
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 20 at 1:24 | answer | added | Andrej Bauer | timeline score: 3 | |
| Aug 19 at 10:39 | vote | accept | Hu_R | ||
| Aug 19 at 9:43 | answer | added | Naïm Favier | timeline score: 0 | |
| S Aug 19 at 9:11 | review | First questions | |||
| Aug 19 at 10:40 | |||||
| S Aug 19 at 9:11 | history | asked | Hu_R | CC BY-SA 4.0 |