Simple connectedness conjecture for evaluation spaces of bicategory objects
Simple connectedness conjecture for evaluation spaces of bicategory objects
Let be an object, and let denote its length. Let and be evaluations of , and let be the corresponding evaluation space for bicategory objects in 2-categories. Simple connectedness conjecture. The evaluation space is simply connected, for all objects and all evaluations and of the length . This would ensure that the definition of a bicategory object in a 2-category is complete, by showing that all relations among the specified 1-cell modifications are generated by the stated 2-cells.
Sources & referencesView supporting material
Primary source
Christopher L. Douglas and André G. Henriques, “Internal bicategories”, arXiv:1206.4284 (2016).
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.