Category Theory Illustrated – Orders