Timeline for Example of a non-$\infty$-category whose homotopy category is a groupoid
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 4, 2021 at 21:50 | comment | added | Denis Nardin | @TimCampion I would assume that it is the free category generated by the 1-simplices under the relations given by the 2-simplices. I suspect this corresponds to the homotopy category of a Joyal-fibrant replacement though (since this construction looks invariant under categorical equivalences) | |
| Dec 4, 2021 at 19:06 | comment | added | Tim Campion | What is the definition of the homotopy category of a simplicial set which is not an $\infty$-category? I would have just defined it to be the homotopy category of a Joyal-fibrant replacement... | |
| Dec 4, 2021 at 18:07 | answer | added | Denis Nardin | timeline score: 9 | |
| Dec 4, 2021 at 17:52 | history | asked | user997814 | CC BY-SA 4.0 |