Timeline for Is there a name for order-preserving functions $f$ where “$a\le b$ if and only if $f(a) \le f(b)$”?
Current License: CC BY-SA 4.0
4 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jun 30, 2020 at 6:12 | comment | added | Bjørn Kjos-Hanssen | @EmilJeřábek Somehow, your comment makes me think of languages without equality. | |
Jun 30, 2020 at 6:01 | comment | added | Emil Jeřábek | I rather think that “order embedding” is more clear even if you see the terms for the first time; most people do not know what “reflects” means, whereas embeddings are commonplace. However, the “preserves and reflects” or “strong homomorphism” terminology has one big advantage, namely that it is applicable more generally to any relational structures, whereas the identification of this property with order embedding relies on reflexivity and antisymmetry of the partial order, and it is not valid in general. | |
Jun 30, 2020 at 5:19 | history | edited | Keith Kearnes | CC BY-SA 4.0 |
added 85 characters in body
|
Jun 30, 2020 at 5:11 | history | answered | Keith Kearnes | CC BY-SA 4.0 |