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