Why are monoidal categories interesting?