Timeline for When did the Joyal model structure on simplicial sets originate?
Current License: CC BY-SA 4.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 29, 2022 at 18:04 | comment | added | Dmitri Pavlov | @DavidRoberts: See my answer. | |
| Jul 29, 2022 at 18:03 | vote | accept | Dmitri Pavlov | ||
| Jul 29, 2022 at 18:03 | answer | added | Dmitri Pavlov | timeline score: 18 | |
| Jul 28, 2022 at 10:29 | comment | added | David Roberts♦ | @DmitriPavlov did you end up emailing Joyal? | |
| Jun 28, 2022 at 4:53 | comment | added | David Roberts♦ | @CharlesRezk yes, that was my mistake here on MO long ago, which was the source for the nLab claim about the Joyal model structure on sSet. | |
| Jun 27, 2022 at 15:18 | comment | added | Charles Rezk | About "unsourced claims that this model structure may originate ... in the correspondence between Joyal and Grothendieck", perhaps this is a confusion with the "Joyal-Jardine model structure" on sheaves of simplicial sets, which I believe had its origin in exactly this way. | |
| Jun 20, 2022 at 14:38 | comment | added | Andrej Bauer | That's a fair point. | |
| Jun 20, 2022 at 14:02 | comment | added | Dmitri Pavlov | @AndrejBauer: One reason is to see whether I missed something, before I start bothering him with questions. | |
| Jun 20, 2022 at 13:02 | history | became hot network question | |||
| Jun 20, 2022 at 9:05 | comment | added | Andrej Bauer | Sending an email to Joyal is even obviouser. | |
| Jun 20, 2022 at 9:02 | comment | added | David Roberts♦ | @AndrejBauer the categories mailing list is the obvious place to ask, but I found it quicker to try to reconstruct upper and lower bounds from the available literature | |
| Jun 20, 2022 at 7:44 | comment | added | Andrej Bauer | Is there some reason for not asking Joyal about this? | |
| Jun 20, 2022 at 6:18 | answer | added | David Roberts♦ | timeline score: 15 | |
| Jun 20, 2022 at 5:01 | history | asked | Dmitri Pavlov | CC BY-SA 4.0 |