Recall (here) that a preorder may be understood as a thin (0,1)-category, hence as a thin category enriched over the cartesian monoidal proset of truth values. In generalization, one may speak of enriching preorders over other monoidal posets.
Let be a monoidal poset. A -enriched proset or proset enriched over/in is a set with a binary function such that
for every , , and ,
for every , .
An ordinary poset is just an -enriched poset, with the set of truth values.
A Lawvere metric space is a -enriched proset, where are the non-negative extended Dedekind real numbers.
A quasipseudometric space is a -enriched proset, where are the non-negative Dedekind real numbers.
A quasimetric space is a -enriched poset, where are the non-negative Dedekind real numbers.
A pseudometric space is a -enriched symmetric proset, where are the non-negative Dedekind real numbers.
A metric space is a -enriched set, where are the non-negative Dedekind real numbers.
A set with an irreflexive comparison, such as an apartness relation or a linear order, is an -enriched poset, where the co-Heyting algebra is the opposite poset of the set of truth values .
Last revised on September 22, 2022 at 18:40:57. See the history of this page for a list of all contributions to it.