∞-Yoneda embedding