I think it is related to category theory, namely "Yoneda" and Hom functors, but that's a wild guess