Parametrised presentability over orbital categories
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.
- A universal characterization of higher algebraic K-theory
- Dwyer-Kan localization revisited
- Elements of -category theory
- Higher Topos Theory (AM-170)
- Lax colimits and free fibrations in -categories
- Norms in motivic homotopy theory
- Parametrized higher category theory
- Universality of multiplicative infinite loop space machines
This page was built for publication: Parametrised presentability over orbital categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6561558)
