Es una extensa generalización del teorema de Cayley de la teoría de grupos (todo grupo es un monoide, que es a su vez una categoría con un sólo objeto).