Timeline for What word can I use for a poset with equivalences
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 8, 2016 at 18:07 | comment | added | Vidit Nanda | So is the pro-proset set empty? | |
| Apr 8, 2016 at 17:45 | comment | added | Todd Trimble | To be fair, the nLab does remark on prosets vs. pro-sets (the latter being used for pro-objects). I'm not sure that the nLab is alone in this particular naming; perhaps it's trying to be descriptive of a usage, not prescriptive in the manner of suggesting that other people use it. But I can make a pretty good guess where it comes from: it is by way of rhyming with "poset" (partially ordered set), "woset" (well-ordered set), "loset" (linearly ordered set) and "toset" (totally ordered set). [I never say "proset" myself.] | |
| Apr 8, 2016 at 17:43 | comment | added | Benjamin Steinberg | I agree. I'm just pointing out both are in use. | |
| Apr 8, 2016 at 16:56 | comment | added | Qiaochu Yuan | I quite dislike both "pre" and "quasi" as prefixes for more general versions of things (especially when they're used to name the more fundamental concept, which I think is the case here), but of the two I prefer "pre" because it's shorter. | |
| Apr 8, 2016 at 16:54 | comment | added | Benjamin Steinberg | Some people also say quasiorder. | |
| Apr 8, 2016 at 16:38 | vote | accept | Dmitry Vaintrob | ||
| Apr 8, 2016 at 16:38 | history | edited | Qiaochu Yuan | CC BY-SA 3.0 |
added 116 characters in body
|
| Apr 8, 2016 at 16:29 | history | answered | Qiaochu Yuan | CC BY-SA 3.0 |