Timeline for Turning simplicial complexes into simplicial sets without ordering the vertices
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 9, 2022 at 4:08 | history | edited | LSpice | CC BY-SA 4.0 |
Two typos; `|| ||` -> `\lVert \rVert`
|
| Apr 18, 2019 at 17:10 | comment | added | Omar Antolín-Camarena | I'm not sure how surprised I should be that we now have 3 proofs and 0 references for this fact I always thought was "standard". | |
| Apr 18, 2019 at 17:07 | comment | added | Omar Antolín-Camarena | Thanks Johannes! I think for Step 1 I prefer the argument that goes "$S_\bullet \Delta^n$ is the nerve of the indiscrete category on $n+1$ vertices, and this category is equivalent to the terminal category", but I really like the directness of the rest of the proof. | |
| Apr 18, 2019 at 8:55 | history | answered | Johannes Ebert | CC BY-SA 4.0 |