Colimits and cocompletions in internal higher category theory

Louis Martini, Sebastian Wolf

We develop a number of basic concepts in the theory of categories internal to an $\infty$-topos. We discuss adjunctions, limits and colimits as well as Kan extensions for internal…