Category of posets

The category of posets $𝖯 𝗈 𝗌$ is a category where an object is a poset and a morphism is a monotone mapping. #m/def/order It may be regarded as a full subcategory of $𝖢 𝖺 𝗍$ , viewing Posets as categories.

#state/develop | #lang/en | #SemBr