Orders
Pre-order #card #bidirectional
0 or 1 arrows (relations) between any two objects
Can have a loop
In a way, the most basic category
Partial order #card #bidirectional
Pre-order but with no cycles
Same as a directed acyclic graph
Total Order
There is an arrow between any two objects