Cayley's Theorem (Category Theory)

Theorem
Let $\mathbf C$ be a locally small category.

Then there exists a category $\mathbf D$, subject to:


 * $(1): \quad $ The objects of $\mathbf D$ are sets.
 * $(2): \quad $ The morphisms of $\mathbf D$ are mappings.
 * $(3): \quad \mathbf C \cong \mathbf D$, i.e. $\mathbf C$ and $\mathbf D$ are isomorphic.

Also see

 * Cayley's Theorem (Group Theory)

Although Cayley did not prove this result, it is very similar in both statement and proof to Cayley's Theorem in group theory.

In fact, as Steve Awodey states it in :


 *  [ Cayley's ] theorem may be generalized to show that any category that is not "too big" can be represented as a [...] category of sets and functions.

The contributor Lord_Farin subsequently was as audacious as to name the general result after Cayley as well.