Definition talk:Order Embedding
Jump to navigation
Jump to search
Name
The term "order embedding" might have less potential for confusion than "order monomorphism", since it is not exactly the same as a monomorphism in the category of ordered sets. Comments? --abcxyz (talk) 15:43, 9 January 2013 (UTC)
- Since it is required to reflect, embedding seems to be more accurate. It also seems to coincide with the notion of embedding from a model-theoretic perspective (not that such relations can be explicated at this point, but it's a nice bonus). --Lord_Farin (talk) 18:17, 9 January 2013 (UTC)
- I see your argument, but will counter it with: as soon as it is backed up by a published citation which is directly supported with a source reference in the Sources section, it should stay like it is. And I will repeat what I always say (my fingers are going to get muscle memory at this rate): please, when making these statements "I've seen [this] elsewhere", state where you have seen it so this can be verified. --prime mover (talk) 09:27, 27 January 2013 (UTC)