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

From papers

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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.