Binary-composition conjecture for strongly regular slices of contractible operads
Let ) be a contractible -operad containing a system of binary compositions, and suppose that all its slices up to dimension are strongly regular theories. A weak -category is an algebra equipped with the structure governed by a contractible -operad.
Binary-composition conjecture. Every weak -category is weakly equivalent to an -algebra.
The conjecture proposes that strong regularity of the lower-dimensional slices is the appropriate analogue of freeness of the symmetric-group actions for controlling the homotopy behaviour of higher operads. The supplied text gives examples motivating the condition but no resolution.
References
Primary source
M. A. Batanin, “Computads and slices of operads”, arXiv:math/0209035 (2002).
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
No solutions have been posted yet.