The nForum has moved to Zulip: Yoneda lemma for (infinity,1)-categories.