Skip to main content
2 of 3
deleted 1 characters in body
David White
  • 30.3k
  • 9
  • 154
  • 250

Let $C$ be a category, and $X$ an object in $C$. Then $h_{X} = \mathrm{Hom}(X, -)$ is a functor from $C$ to $\mathrm{Set}$.

If for two objects $X,Y$ in $C$ the functors $h_{X}$ and $h_{Y}$ are naturally isomorphic, then so are $X$ and $Y$. This is called the Yoneda lemma.

In fancy categorical terms it says that the functor $h \colon C^{\textrm{opp}} \to \mathrm{Func}(C, \mathrm{Set})$ is fully faithful. The slogan is "tell me who your friends are, and I will tell you who you are". So if you know all the arrows from (or to) an object, then you can determine the object up to isomorphism.

jmc
  • 5.5k
  • 27
  • 60