Binary-composition conjecture for strongly regular slices of contractible operads
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.
Sources & referencesView supporting material
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
Sign in to submit a solution.
No solutions have been posted yet.