Timeline for On the initiality of the inclusion from the simplex category to the paracycle category
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 23 at 2:56 | vote | accept | Tim Campion | ||
| Dec 21, 2023 at 22:14 | answer | added | Tim Campion | timeline score: 2 | |
| Dec 19, 2023 at 8:26 | comment | added | Maxime Ramzi | I think you are right, and I think you can tweak it. The point is that empty intersections is not a big deal because your "opens" are ordered, and so you are like in a "$\mathbb R$ covered by $[k,k+1)$'s" type of situation. I'll try to write this out when I get the time if no one does | |
| S Dec 19, 2023 at 4:39 | history | suggested | J. W. Tanner |
Added category theory tag
|
|
| Dec 19, 2023 at 4:14 | review | Suggested edits | |||
| S Dec 19, 2023 at 4:39 | |||||
| Dec 19, 2023 at 1:07 | history | asked | Tim Campion | CC BY-SA 4.0 |