Timeline for Classifying the endofunctors of the category $\Delta$ of finite linear orders
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 20, 2022 at 14:22 | comment | added | user420620 | I deleted two misguided comments with an incorrect definition of an endofunctor $[0<..<n]\to [0<...<2n]$. | |
| Aug 18, 2022 at 9:14 | comment | added | user420620 | Sorry, I am confused. Is $sd(X)$ a path object, in the sense that there is a sequence of maps $X\to sd(X)\to X\times X)$ with appropriate properties ? The thesis does not mention this explicitly, and Theorem 7.2.1. rather seems to contradict it ( $\S7.2$ (The natural map $e : sd \implies id$ is unique), Theorem 7.2.1. The natural transformation $e : sd \implies id$ in sSet is unique.) | |
| Aug 17, 2022 at 19:26 | history | edited | LSpice | CC BY-SA 4.0 |
Inlining MO link for properly formatted title
|
| Aug 17, 2022 at 18:34 | history | answered | John Rognes | CC BY-SA 4.0 |