Simple connectedness conjecture for evaluation spaces of bicategory objects

About 14 years old · traced to

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.

References

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.