We shall show how the free constructions in category theory lead to the existence of surjectively universal monoid actions. The talk is based on the recent preprint [https://arxiv.org/abs/2307.15937]. No prior knowledge of category theory will be required, all the basic notions will be explained, supported by natural examples.