El análogo en teoría de categorías es el lema de Yoneda.