Existence of marked (,2)(\infty,2)-colimits

Let C\mathcal{C} be an (,2)(\infty,2)-category, let XX be a marked simplicial set, and let F:XCF:X\to\mathcal{C} be a functor. A marked (,2)(\infty,2)-colimit theory should categorify the strict 2-categorical theory and assign to FF a marked (,2)(\infty,2)-colimit cone over FF.

Existence conjecture. There is a theory of marked (,2)(\infty,2)-colimits in every (,2)(\infty,2)-category, with input and output as above.

The conjecture proposes the required (,2)(\infty,2)-categorical extension of marked colimits from strict 2-categories; the paper notes that constructing marked cocones and proving the necessary fibrancy and functoriality are technical difficulties.

Sources & referencesView supporting material

Primary source

Fernando Abellán García and Walker H. Stern, “Theorem A for marked 2-categories”, arXiv:2002.12817 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.