Timeline for Is there a name for relations that are compatible with composition and union?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 23, 2019 at 0:09 | history | edited | Martin Brandenburg |
edited tags
|
|
| Dec 15, 2019 at 17:11 | comment | added | Benjamin Steinberg | Sorry. I missed it wasn't an equivalence relation. I'm sure quantale people have a name for that | |
| Dec 15, 2019 at 17:07 | comment | added | Wolfgang Jeltsch | That’s interesting. Thanks for the hint. However, wouldn’t $\mathcal{R}$ need to be an equivalence relation in order to be a congruence? In my use case, $\mathcal{R}$ typically isn’t symmetric and might not even be reflexive or transitive. | |
| Dec 15, 2019 at 16:49 | comment | added | Benjamin Steinberg | You can view the set of relations as a quantale and these would be quantale congruences. | |
| Dec 15, 2019 at 10:44 | history | edited | Goldstern |
edited tags
|
|
| Dec 15, 2019 at 10:18 | history | asked | Wolfgang Jeltsch | CC BY-SA 4.0 |