Promotion conjecture for coherators with systems of inverses

Let D\mathfrak{D} be a coherator for \infty-categories, and suppose it can be endowed with a system of inverses. A coherator is contractible when it is a coherator for \infty-groupoids. Promotion conjecture. A coherator for \infty-categories is contractible provided it can be endowed with a system of inverses. This would identify Grothendieck \infty-groupoids with \infty-groupoids à la Batanin, up to essential equivalence, and would solve the relevant extension problem for the path-object construction.

Sources & referencesView supporting material

Primary source

Edoardo Lanari, “Towards a globular path object for weak -groupoids”, arXiv:1805.00156 (2018).

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.