Timeline for Continuous relations?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 14, 2023 at 19:53 | comment | added | Emily | (I also found a couple of references and edited the answer with some further results about these notions, by the way, including some comparisons between the different notions in the other answers) | |
| Feb 14, 2023 at 19:51 | comment | added | Emily | By the way, I think you might enjoy knowing that the functors $R_*$, $R_{-1}$, $R^{-1}$, and $R_!$ all arise in a categorical-kind of way: $R_*$ is postcomposition (viewing $U\in\mathcal{P}(A)$ as a relation from $\mathrm{pt}$ to $A$), $R_{-1}$ is a right Kan lift, $R^{-1}$ is precomposition, and $R_{!}$ is a right Kan extension =) | |
| Feb 14, 2023 at 19:50 | comment | added | Emily | @მამუკაჯიბლაძე That's very cool! I had no idea these conditions showed up in modal logic! | |
| Feb 14, 2023 at 19:47 | history | edited | Emily | CC BY-SA 4.0 |
added 6333 characters in body
|
| Feb 14, 2023 at 6:25 | comment | added | მამუკა ჯიბლაძე | Also, see the answer by Joonas Ilmavirta below for some problems with weak continuity in your sense. | |
| Feb 14, 2023 at 6:09 | comment | added | მამუკა ჯიბლაძე | Nice! In modal logic one encounters the condition that $R^{-1}$ sends clopens to clopens: in this way one gets the Jónsson-Tarski duality between such $R$-ed Stone spaces and modal algebras. | |
| Feb 13, 2023 at 20:06 | history | answered | Emily | CC BY-SA 4.0 |