3.1 Examples of categories, orders, monoids