Another corollary of the Yoneda lemma is a classical result known as Cayley’s theorem, stating that any abstract group may be realized as a subgroup of a permutation group.