Timeline for Different definitions of condensed sets
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 24, 2020 at 17:07 | comment | added | Simon Henry | My previous description of the topology was wrong: I had the wrong definition of condensed sets in mind. Now that I checked the definition, it is fixed. | |
| Dec 24, 2020 at 17:06 | history | edited | Simon Henry | CC BY-SA 4.0 |
deleted 4 characters in body
|
| Dec 24, 2020 at 16:37 | comment | added | Simon Henry | It seems so yes. More generally, every open covering. | |
| Dec 24, 2020 at 16:37 | history | edited | Simon Henry | CC BY-SA 4.0 |
deleted 10 characters in body
|
| Dec 24, 2020 at 16:12 | comment | added | Steven Gubkin | Thanks, this is very useful (especially the link to the comparison lemma). So we would have (for instance), the injections of intervals $(n,n+2) \subset \mathbb{R} $ as a valid covering of the reals. | |
| Dec 24, 2020 at 16:09 | vote | accept | Steven Gubkin | ||
| Dec 24, 2020 at 2:55 | comment | added | Simon Henry | I've added a spelled out description of the topology one need to use one the category of spaces for the equivalence to work, but I'm not sure which kind of details you want. | |
| Dec 24, 2020 at 2:55 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 390 characters in body
|
| Dec 24, 2020 at 2:13 | comment | added | Steven Gubkin | Thanks for this answer. I am definitely a noob at all of this stuff (I have not thought about a topos since I was an undergraduate). Would you be willing to spell out the details a little more? | |
| Dec 24, 2020 at 1:56 | history | answered | Simon Henry | CC BY-SA 4.0 |