Preorders, orders, domains and lattices as categories Special categories mathematics