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