Higher Structures, Vol. 8, No. 1, pp. 97-192, 2024
Colimits and cocompletions in internal higher category theory
Louis Martini, Sebastian Wolf
Received April 8th 2022. Published online May 30th 2024.
Abstract: 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 categories, and we use these results to establish the universal property of internal presheaf categories. We furthermore construct the free cocompletion of an internal category by colimits that are indexed by an arbitrary class of diagram shapes.
