Yoneda Lemma for Elementary Higher Toposes

Abstract

We prove the Yoneda lemma inside an elementary higher topos, generalizing the Yonda lemma for spaces.