Manifold-diagram representation of morphisms

Let CC be a presented associative nn-category. For each kk, the paper considers the set Hmor(C)kHmor(C)_k of kk-morphisms and the set of kk-manifold diagrams in the scope of CC, modulo deformation equivalence.

Manifold-diagram representation conjecture. Let CC be a presented associative nn-category. The mapping from labelled singular cubes to colored cubes descends to an injection of sets

Hmor(C)kSet{k-manifold diagrams in the scope C}deformation equivalence.Hmor(C)_k \longrightarrow \frac{\operatorname{Set}\{\text{$k$-manifold diagrams in the scope $C$}\}}{\text{deformation equivalence}}.

This would identify morphisms with a special class of geometric manifold diagrams, up to deformation equivalence. The source presents it as conjectural and gives no resolution.

Sources & referencesView supporting material

Primary source

Christoph Dorn, “Associative n-categories”, arXiv:1812.10586 (2023).

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.