Weakly unital strict categories model weak higher categories
Weakly unital strict categories model weak higher categories
Let be a nonnegative integer. Consider weakly unital strict -categories, the equivalences between them, and the models of weak -categories due to Tamsamani, Baez–Dolan, and Batanin. Weakly unital strict category conjecture. The localization of the category of weakly unital strict -categories by equivalences is equivalent to the localizations of the categories of weak -categories of Tamsamani and/or Baez–Dolan and/or Batanin by equivalences. This is presented as an expected extension from groupoids to general higher categories; the source gives no resolution.
Sources & referencesView supporting material
Primary source
Carlos T. Simpson, “Homotopy theory of higher categories”, arXiv:1001.4071 (2010).
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.