Timeline for Tight apartness relations in toposes
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 23, 2020 at 19:20 | comment | added | Martin Brandenburg | @ValeryIsaev I think it would be a good idea to include this requirement into your question. | |
| Feb 23, 2020 at 16:55 | comment | added | Valery Isaev | I'd like to see more examples like this one, but I think even more interesting are non-generic examples. That is, objects with tight apartness relations that can be constructed only in some particular topos (here, $\mathbb{R}$ can be constructed in any topos). | |
| Feb 23, 2020 at 15:41 | history | answered | Ingo Blechschmidt | CC BY-SA 4.0 |