Timeline for "$X$ is $n$-truncated $\iff$ $\Omega X$ is $(n-1)$-truncated" for connected pointed $X$. (HTT, 7.2.2.11)
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 14 at 0:38 | vote | accept | Ken | ||
| Apr 14 at 0:38 | comment | added | Ken | Ah, this is perfect. Thank you! | |
| Apr 13 at 9:15 | history | answered | David Wärn | CC BY-SA 4.0 |