The weak equivalence conjecture for the nerve of unbiased bicategories
The weak equivalence conjecture for the nerve of unbiased bicategories
Let be the category of classical bicategories with strict unit, let denote its nerve, and let be the simplicial set associated to dendroidal weak -categories. The inclusion is a map of simplicial sets
Weak equivalence conjecture. The inclusion of simplicial sets is a weak equivalence in the Joyal model structure on .
This would strengthen the preceding result that the homotopy category of 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
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.