Definition talk:Order Automorphism

To keep this consistent with the definition of Definition:Order Isomorphism, would it be appropriate to rename this Definition:Order Automorphism? --prime mover (talk) 23:05, 16 February 2013 (UTC)


 * I have yet to find any consistency between aaaa (bbbb), aaaa/bbbb, and bbbb aaaa on this site. If there is some kind of system, please let me know what it is. --Dfeuer (talk) 23:14, 16 February 2013 (UTC)


 * aaaa/bbbb is used to allow for a subpage to be directly linkable back to the parent page. If you click on such a page you will see the parent page in the link at the top. Therefore it is desirable to make it so that a transcluded page includes the parent page as the aaaa/ part of its name.


 * But aaaa/bbbb is ugly, so "aaaa in the context of bbbb" forms are frequently used as redirects (the specific nature of the name depends on the page linked to). So if the structure of the page/subpage/transclusion etc. changes, only the redirect needs to be changed and all pages depending on this result / definition stay unneeding to be modified to match the new structure.


 * This-all has been explained at great length elsewhere and I am convinced it has been explained directly to you in the past. If not then I'm even more senile and stupid than I thought I was. (Maybe it was abcxyz.)


 * The concept of monomorphism and isomorphism of an ordered alg struct has two defs: mono/iso of the operation, and mono/iso of the ordering. So to distinguish between the two you will see that "order isomorphism" and "order monomorphism" have been used to provide a convenient way of being able to refer to the one without meaning the other.


 * If you take the time to go away and examine the metastructure of the site in detail, you will see that it is in fact greatly more consistent than you think. If it's not, then it means that someone who doesn't understand what we're trying to do here has bodged in loads of crap that we either haven't noticed or haven't got round to cleaning up. --prime mover (talk) 23:38, 16 February 2013 (UTC)