Any monoid can be understood as a special sort of category (with a single object whose self-morphisms are represented by the elements of the monoid), and so can any preorder.
Будь-який моноїд можна розуміти як особливий вид категорій (з одним єдиним об'єктом чиї самоморфізми представлені елементами моноїда), що може мати будь-який передпорядок.