Timeline for A possible alternative model for $\infty$-groupoids
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 9, 2023 at 10:30 | comment | added | Daniel Bruegmann | related question "Are non-empty finite sets a Grothendieck test category?" mathoverflow.net/questions/11045/… | |
| Oct 8, 2023 at 23:09 | answer | added | Simon Henry | timeline score: 9 | |
| Oct 8, 2023 at 21:07 | comment | added | XiaohuWang | @მამუკაჯიბლაძე I forgot I made the repository private. I just made it public again. | |
| Oct 8, 2023 at 19:21 | comment | added | მამუკა ჯიბლაძე | Now it throws error 404 for me (before it just did not open). | |
| Oct 8, 2023 at 16:40 | comment | added | XiaohuWang | @მამუკაჯიბლაძე Thanks for pointing out. Should be correct now. | |
| Oct 8, 2023 at 16:38 | history | edited | XiaohuWang | CC BY-SA 4.0 |
deleted 30 characters in body
|
| Oct 8, 2023 at 16:31 | comment | added | მამუკა ჯიბლაძე | Something's wrong with your Agda link | |
| S Oct 8, 2023 at 16:10 | review | First questions | |||
| Oct 8, 2023 at 16:33 | |||||
| S Oct 8, 2023 at 16:10 | history | asked | XiaohuWang | CC BY-SA 4.0 |