It is a vast generalisation of Cayley's theorem from group theory (viewing a group as a particular kind of category with just one object).
Он является далеким обобщением теоремы Кэли в теории групп (если рассматривать группу как категорию из одного объекта).