{"id":"arxiv/2607.14016","url":"https://arxiv.org/abs/2607.14016","tags":["math.CT","math.AT"],"score":0,"title":"The internal Yoneda lemma for locally Cartesian closed $\\infty$-categories","domain":"math.CT","source":"arxiv","authors":["Virgile Constantin"],"reviews":0,"subject":"math.CT","summary":"We formulate and prove internal versions of the Yoneda lemma and of the Yoneda embedding theorem in a finitely complete, locally Cartesian closed $\\infty$-category $\\mathscr{C}$: for every object $X\\in \\mathscr{C}$ and every universe $\\mathscr{U}$ classifying the diagonal of $X$, the Yoneda map $\\mathscr{Y}_X\\colon X \\to \\mathscr{U}^X$ is a monomorphism. The proof uses only finite limits, dependent products and universes, and does not rely on the external Yoneda lemma. The result applies notably to every elementary $\\infty$-topos, where it recovers a theorem of Rasekh [Ras18].","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-15","reactions":{}}