Yoneda's lemma for internal higher categories


We develop some basic concepts in the theory of higher categories internal to an arbitrary infinity-topos. We define internal left and right fibrations and prove a version of the Grothendieck construction and of Yoneda’s lemma for internal categories.

ArXiv preprint
Louis Martini
Louis Martini
PhD fellow in mathematics

I am a fourth year PhD student in the Department of Mathematical Sciences at the Norwegian University of Science and Technology in Trondheim, Norway.