Yoneda Lemma for Elementary Higher Toposes
arXiv:1809.01736
Abstract
We prove the Yoneda lemma inside an elementary higher topos, generalizing the Yonda lemma for spaces.
arXiv comment10 Pages
arXiv:1809.01736
We prove the Yoneda lemma inside an elementary higher topos, generalizing the Yonda lemma for spaces.
arXiv comment10 Pages