Binary-composition conjecture for strongly regular slices of contractible operads

About 24 years old · traced to

Let AA) be a contractible nn-operad containing a system of binary compositions, and suppose that all its slices up to dimension n−1n-1 are strongly regular theories. A weak nn-category is an algebra equipped with the structure governed by a contractible nn-operad.

Binary-composition conjecture. Every weak nn-category is weakly equivalent to an AA-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

Never refreshed

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.