Most general form of Cayley's theorem?

443 Views Asked by At

For many classes of algebraic structures, there exists a family of structures such that any member of the class can be embedded in some member of the family (groups and symmetric groups, unital rings and rings of endomorphisms of abelian groups, distributive lattices and sets under union and intersection). Is there some construction from category theory or universal algebra that counts all of these examples as special cases?