Timeline for Does the (1-)topos structure on simplicial sets have any homotopy-theoretic significance?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 6, 2022 at 0:59 | history | became hot network question | |||
| Feb 5, 2022 at 20:36 | history | edited | მამუკა ჯიბლაძე | CC BY-SA 4.0 |
added 48 characters in body
|
| Feb 5, 2022 at 19:36 | answer | added | Tim Campion | timeline score: 8 | |
| Feb 5, 2022 at 17:07 | comment | added | Simon Henry | Well, the theory of Cisinski model structure exploit the topos theoretic aspect to build the homotopy theory of simplicial sets. If not the partial arrow classifier some similar construction are used in the process (though I think we can do everything using only product with subobject classier). But it's not so clear that this specific construction has homotopy theoretic consequence (Beyond the infinity category of spaces being cartesian closed). | |
| Feb 5, 2022 at 16:53 | history | asked | მამუკა ჯიბლაძე | CC BY-SA 4.0 |