Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
moving existing material on strict order to new page since “strict order” could refer to multiple different order relations
Daniel Freedman
The nLab’s software design has a little defect in that upon changing the name of a page, the previous name is almost nowhere to be seen, as it gets changed accordingly both on the page history as well as here on the nForum. (The software inserts the old name as a new redirect into the page’s source code, but that can be hard to identify, as is the case here.)
Therefore, when you announce name changes as you have been doing, if you could state the page’s previous name, that would be useful. Then readers would have a better chance to verify (or disagree, as the case may be) that the new name is indeed better.
more accurately, these are strict weak orders; the non-strict weak orders are total preorders so moved relevant material on non-strict weak orders over to total preorder
Daniel Freedman
1 to 5 of 5