Omar Antolín on Nostr: nprofile1q…e6cfc I don't think homotopy theorists use the term "n-dimensional ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq0w3367kxqkl7f3nv0yy2smqf00k4c5te380ws8awmmcu358qvyhqfe6cfc (nprofile…6cfc) I don't think homotopy theorists use the term "n-dimensional homotopy type" at all. There is the concept of "n-dimensional CW-complex" and therefore also the concept of "space with the homotopy type of an n-dimensional CW-complex". Maybe that's what nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq73zugfcw5qemam49j598gfhr5nyctxun4mt3y8qf4ayj4pdnt7gqkfv2av (nprofile…v2av) meant? As you point out Oscar, that is very different from being n-truncated (another term for n-type).