Parametrised presentability over orbital categories (Q6561558)

Parametrised homotopy theory is the study of higher categories fibred over a base \(\infty\)-category. This is a generalisation of the usual theory of higher categories, which can be viewed as the parametrised homotopy theory over a point. The advantage of this approach is that many structures can be cleanly encoded by the morphisms in the base \(\infty\)-category. The \(\infty\)-categorical theory of presentability was developed by \textit{J. Lurie} [Higher topos theory. Princeton, NJ: Princeton University Press (2009; Zbl 1175.18001)], generalising the classical \(1\)-categorical notion of locally presentable categories. \par The goal of this paper is to translate the above-mentioned theory of presentable \(\infty\)-categories to the parametrised setting. The author formulates and proves a characterisation of parametrised presentable categories in terms of its associated straightening. From this a parametrised adjoint functor theorem from the unparametrised version is deduced and various localisation results proved. Furthermore, the interactions of the notion of the developed presentability with multiplicative matters is recorded. Such a theory is of interest for example in equivariant homotopy theory, and the author announces its applications to construct the category of parametrised noncommutative motives for equivariant algebraic \(K\)-theory.