Skip to main content
added 116 characters in body
Source Link
Qiaochu Yuan
  • 118.2k
  • 40
  • 447
  • 741

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.

Source Link
Qiaochu Yuan
  • 118.2k
  • 40
  • 447
  • 741

These are called preorders. They're the same thing as categories enriched over truth values.