Cayley's Theorem (Category Theory)/Historical Note

Historical Note on Cayley's Theorem (Category Theory)
Although did not prove this result, it is similar enough in both statement and proof to Cayley's Representation Theorem as to merit his name being appended to it.

As 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.
 * --, p. 13

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