The weak equivalence conjecture for the nerve of unbiased bicategories

Let ubiCtgubi\mathcal{C}tg be the category of classical bicategories with strict unit, let N(ubiCtg)N(ubi\mathcal{C}tg) denote its nerve, and let i(wCat2)i^*(w\mathcal{C}at^2) be the simplicial set associated to dendroidal weak 22-categories. The inclusion is a map of simplicial sets

N(ubiCtg)i(wCat2).N(ubi\mathcal{C}tg)\longrightarrow i^*(w\mathcal{C}at^2).

Weak equivalence conjecture. The inclusion of simplicial sets N(ubiCtg)i(wCat2)N(ubi\mathcal{C}tg)\longrightarrow i^*(w\mathcal{C}at^2) is a weak equivalence in the Joyal model structure on sSetss\mathcal{S}ets.

This would strengthen the preceding result that the homotopy category of i(wCat2)i^*(w\mathcal{C}at^2) is isomorphic to the category of classical bicategories, by asserting an equivalence before passing to the homotopy category. The source presents this as a conjecture; no resolution is given here.

Sources & referencesView supporting material

Primary source

Andor Lukacs, “Dendroidal weak 2-categories”, arXiv:1304.4278 (2013).

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.