2000 character limit reached
Yoneda Lemma for Elementary Higher Toposes
Published 5 Sep 2018 in math.CT and math.AT | (1809.01736v1)
Abstract: We prove the Yoneda lemma inside an elementary higher topos, generalizing the Yonda lemma for spaces.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.