Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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]]
1 to 3 of 3