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