Skip to main content
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