Groupoids and skeletons of monoids and preorders
A monoid , where is a set, an element of , and an associative binary operation on , can be viewed as a single object category. Take or and to be the elements of , that is, morphisms in this category are elements of the monoid (where is the class of objects of the category and is the class of morphisms).
A groupoid is a category where every morphism is an isomorphism. Monoids are groupoids when every element of the monoid has an inverse. Since the morphisms of this category are elements of the monoid, if every element has an inverse, then every morphism is an isomorphism. So, monoids which are groupoids, are those monoids that are groups.
A preorder , is a set together with a reflexive, transitive relation . A preorder can be viewed as a category by letting and .
A preorder is a groupoid when the relation is symmetric. That is, an equivalence relation on a set is a groupoid. Since, for , if then there is a morphism , and if then there is a morphism , inverse to the morphism , so it is an isomorphism. If then every morphism has an inverse morphism and so every morphism is an isomorphism.
A skeleton is a category in which, for every object , . That is, if two objects are isomorphic then they are equal.
A preorder is a skeleton when the relation is antisymmetric. That is, an order is a skeleton. An antisymmetric relation is a relation in which . Isomorphisms in preorders are those elements of the relation where . So in an order, if and , the morphism is an isomorphism and the objects and are equal as a result of the antisymmetry of .