Existence of marked -colimits
Existence of marked -colimits
Let be an -category, let be a marked simplicial set, and let be a functor. A marked -colimit theory should categorify the strict 2-categorical theory and assign to a marked -colimit cone over .
Existence conjecture. There is a theory of marked -colimits in every -category, with input and output as above.
The conjecture proposes the required -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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.