Timeline for Definition A.3.1.5 of Higher Topos Theory
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 11, 2019 at 12:04 | comment | added | Frank Kong | Thanks for your help! | |
| Mar 11, 2019 at 11:28 | vote | accept | Frank Kong | ||
| Mar 11, 2019 at 11:22 | comment | added | Theo Johnson-Freyd | Now I'm worried about Mike Shulman's question mathoverflow.net/questions/322917. | |
| Mar 11, 2019 at 9:15 | history | answered | Stefano Ariotta | CC BY-SA 4.0 |