Marked colimits and higher cofinality (Q2681340): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 08:03, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Marked colimits and higher cofinality |
scientific article |
Statements
Marked colimits and higher cofinality (English)
0 references
8 February 2023
0 references
This paper deals with lax colimits depending on a collection of marked morphisms in the source, which can be seen as controlling the laxness of the colimit in question. Such collections of marked morphisms arise throughout the study of higher categories. The theory of marked colimits and marked cofinality presented in this paper represents a new technology. Along the way to \(\infty\)-cofinality, it is shown that the theory weighted colimits expounded in [\textit{D. Gepner} et al., Doc. Math. 22, 1225--1266 (2017; Zbl 1390.18021)] can be viewed as one instance of the general theory of marked colimits, noting a fundamental relation to the Grothendieck construction generalizing extant results for lax colimits and usual \(\infty\)-colimits. Given a marked \(\infty\)-category \(\mathcal{D}^{\dag}\)\ and a functor \(F:\mathcal{D}\rightarrow\mathbb{B}\)\ with values in an \(\infty\)-bicategory, this paper defines \(\operatorname{colim}^{\dag} F\), the marked colimit of \(F\). The author provides a definition of weighted colimits in \(\infty\)-bicategories when the indexing diagram is an \(\infty\)-category, showing that they can be computed in terms of marked colimits. It is shown that a suitable \(\infty\)-localization of the associated coCartesian fibration \(\mathrm{Un}_{\mathcal{D}}(F)\)\ computes \(\operatorname{colim}^{\dag} F\). The main result is a characterization of those functors of marked \(\infty\)-categories \(f:\mathcal{C}^{\dag}\rightarrow\mathcal{D}^{\dag}\) which are marked cofinal.
0 references
infinity bicategories
0 references
weighted colimits
0 references
cofinality
0 references
localization
0 references