Abstract
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.
Type
Publication
ArXiv preprint
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.