Cayley's theorem
From another point of view, representable functors for a category "C" are the functors "given" with "C". Their theory is a vast generalisation of upper sets in posets, and of Cayley's theorem in group theory.