Binary-composition conjecture for strongly regular slices of contractible operads

Let AA) be a contractible nn-operad containing a system of binary compositions, and suppose that all its slices up to dimension n1n-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.

Sources & referencesView supporting material

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.