Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
These are called preorders. (The nLab also suggests the term "proset" but I think this is terrible; "proset" should mean a pro-object in sets.) They're the same thing as categories enriched over truth values.
These are called preorders. They're the same thing as categories enriched over truth values.
These are called preorders. (The nLab also suggests the term "proset" but I think this is terrible; "proset" should mean a pro-object in sets.) They're the same thing as categories enriched over truth values.