# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

1. Page created, but author did not leave any comments.

Anonymous

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeMay 19th 2022
• (edited May 19th 2022)

have cross-linked with the section here at “partial order” where the enriched cagtegory-theoretic perspective on posets is mentioned .

In fact I ended up giving the Idea-section a lead-in sentence which makes this motivation for the present page fully explicit, now the Idea-section reads as follows:

Recall (here) that a poset may be understood as a skeletal (0,1)-category, hence as a skeletal category enriched over the cartesian monoidal poset of truth values. In generalization, one may speak of enriching posets over other monoidal posets.

finally I have added plural redirect [[!redirects enriched posets]]

2. Lawvere metric spaces and pseudometric spaces do not satisfy the separation axiom so are properly speaking not enriched posets.

Anonymous