Timeline for Is there an $X$ and a non-surjective continuous function $f:X\to X$ such that $f\simeq {\rm id}_X$ but $f(X)$ and $X$ are not homotopy equivalent?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 8, 2023 at 15:29 | comment | added | M.Ramana | Sure. You are right. I've first searched the keyword "digital topology" here but I couldn't find similar words so I thought that maybe no body is familiar with this notion. But you are right and I will do what I told you. Thank you for your help and the comments. | |
| Oct 8, 2023 at 9:40 | history | edited | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |
a couple of typos
|
| Oct 8, 2023 at 9:03 | comment | added | Peter LeFanu Lumsdaine | @M.Ramana: Thanks for the background — looks like an interesting line of work that I haven’t seen before! For future questions, I’d really encourage including some context like that in the question — giving the key definitions elementarily like you did here is nice, but also including the established terminology of the field, at least as keywords, makes it much easier for everyone to situate the question in what they know, and especially makes it easier for experts on the topic to find the question. | |
| Oct 8, 2023 at 6:54 | comment | added | M.Ramana | I really appreciate your nice answer and explanation. I've learned some good points from it. Thank you so much. Concerning your question, this kind of spaces are called digital images in the literature and they are studied in digital topology which is a branch between algebraic topology and computer science. | |
| Oct 8, 2023 at 6:50 | vote | accept | M.Ramana | ||
| Oct 7, 2023 at 21:22 | history | edited | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |
edited wording in first paragraph
|
| Oct 7, 2023 at 21:08 | history | answered | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |