Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Also I would imagine there is some relevant prehistory here, such as Simpson’s weak units conjecture, and the analysis of this in dimension 3 by Joyal-Kock. I don’t know how this relates to the development described in the article.
added pointers to
Christoph Dorn, Associative -categories, talk at 103rd Peripatetic Seminar on Sheaves and Logic (pdf)
Christoph Dorn, Associative n-categories PhD thesis (pdf)
added today’s arXiv identifier for
Despite these strictness properties, it is conjectured that every weak n-category is weakly equivalent to an associative n-category with strict units.
Isn’t this just a version of Simpson’s conjecture ? I would crosslink if I were sure in what conventionsassumption in this issue are.
@zskoda well, I think it’s related but somewhat orthogonal. Roughly:
1 to 9 of 9