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.
References
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
No solutions have been posted yet.