Timeline for On the initiality of the inclusion from the simplex category to the paracycle category
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 30 at 10:17 | comment | added | Maxime Ramzi | I think it is not a problem though: the pushout argument works with $[c,d]$ everywhere in place of $[c,d)$, so then you have to prove that for $b\leq a+1$, $C[a,b]$ is contractible. But for this the Nikolaus-Scholze argument essentially works | |
| May 30 at 9:48 | comment | added | Maxime Ramzi | I might be confused, but I don't believe any map (1/k)Z -> (1/n)Z has to live in some C[s,s+1). For a simple example, let's do k=2. I can send 0 to 0, 1/2 to 1, and more generally k to k, k +1/2 to k+1 for k an integer. The point is that sure, all of the interval [0,1) in (1/k)Z has to be sent to something leq the image of 0 + 1, but it's only \leq, not <. | |
| Jan 23 at 2:56 | vote | accept | Tim Campion | ||
| Dec 22, 2023 at 18:22 | history | edited | Tim Campion | CC BY-SA 4.0 |
edited body
|
| Dec 21, 2023 at 22:14 | history | answered | Tim Campion | CC BY-SA 4.0 |