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 $n$-categories, talk at 103rd Peripatetic Seminar on Sheaves and Logic (pdf)
Christoph Dorn, Associative n-categories PhD thesis (pdf)
1 to 4 of 4