Timeline for Relations with "for each" composition and its properties (coming from profunctors with end composition)
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 3 at 16:03 | history | edited | Emily | CC BY-SA 4.0 |
edited body
|
| May 3 at 6:51 | answer | added | Cole Comfort | timeline score: 5 | |
| Feb 2 at 22:21 | vote | accept | Emily | ||
| Jan 31 at 15:16 | answer | added | Paul Taylor | timeline score: 6 | |
| Jan 30 at 4:21 | comment | added | Emily | @PaulTaylor On a related note, do you know if there is an established symbol in common usage for the apartness composition of two relations $R$ and $S$, like writing $R\text{(symbol)}S$ for the relation where $a\sim_{R\text{(symbol)}S}c$ iff $\forall b.a\sim b\vee b\sim c$? | |
| Jan 30 at 4:19 | comment | added | Emily | Yes, I do mean those as in the question, though I know realise I also want to figure out all of the questions I outlined above for apartness and for the composition $\exists b. a\sim b\vee b\sim c$. Thank you so much for the suggestion! | |
| Jan 29 at 22:25 | comment | added | Paul Taylor | If you had $\forall b.a\sim b\lor b\sim c$, this would be the composition for apartness. Do you really mean $\land$? (Or the categorical analogues with $\Pi$ and $+$ instead of $\times$.) | |
| Jan 29 at 22:05 | history | asked | Emily | CC BY-SA 4.0 |