Simple connectedness conjecture for evaluation spaces of bicategory objects

Let tΘ2t\in\Theta_2 be an object, and let h(t)Θ1h(t)\in\Theta_1 denote its length. Let τ\tau^- and τ+\tau^+ be evaluations of h(t)h(t), and let E2(t,τ,τ+)E_2(t,\tau^-,\tau^+) be the corresponding evaluation space for bicategory objects in 2-categories. Simple connectedness conjecture. The evaluation space E2(t,τ,τ+)E_2(t,\tau^-,\tau^+) is simply connected, for all objects tΘ2t\in\Theta_2 and all evaluations τ\tau^- and τ+\tau^+ of the length h(t)Θ1h(t)\in\Theta_1. 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

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.