Promotion conjecture for coherators with systems of inverses
Promotion conjecture for coherators with systems of inverses
Let be a coherator for -categories, and suppose it can be endowed with a system of inverses. A coherator is contractible when it is a coherator for -groupoids. Promotion conjecture. A coherator for -categories is contractible provided it can be endowed with a system of inverses. This would identify Grothendieck -groupoids with -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
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.