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

About 6 years old · traced to

Let C\mathcal{C} be an (∞,2)(\infty,2)-category, let XX be a marked simplicial set, and let F:X→CF: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.

References

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.