The infinity-categorical structure conjecture for HOM-simplicial sets of ΩBAs\Omega B As-algebras

About 5 years old · traced to

Given two ΩBAs\Omega B As-algebras AA and BB, define the HOM-simplicial set by

HOMΩBAs-Alg(A,B)n:=Hom(ΩBAs,ΩBAs)-op. bimod.(n-ΩBAs-Morph,Hom(A,B)).\mathrm{HOM}_{\mathsf{\Omega B As\text{-}Alg}}(A,B)_n:= \mathrm{Hom}_{\mathsf{(\Omega B As,\Omega B As)\text{-}op.\ bimod.}}(n\text{-}\Omega B As\text{-}\mathrm{Morph},\mathrm{Hom}(A,B)).

The infinity-categorical structure conjecture. The simplicial sets HOMΩBAs-Alg(A,B)∙\mathrm{HOM}_{\mathsf{\Omega B As\text{-}Alg}}(A,B)_\bullet are ∞\infty-categories.

This conjecture proposes that the simplicial mapping objects between ΩBAs\Omega B As-algebras carry the structure of infinity-categories, extending the higher-algebraic framework developed for these algebras. The supplied text gives no resolution status.

References

Primary source

Thibaut Mazuir, “Higher algebra of A_and ΩB As-algebras in Morse theory II”, arXiv:2102.08996 (2022).

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.