Free-generation conjecture for constructible directed complexes

Let PP be a directed complex. Say that PP is freely generating if (MoP)(\mathcal{M}o\ell_{}{P})^* admits the structure of a polygraph whose nn-dimensional generators are the nn-dimensional atoms of PP. Free-generation conjecture. Every constructible directed complex is freely generating. The claim is unproved in the source. It is false for general directed complexes, where known counterexamples involve looping phenomena excluded by the constructibility condition.

Sources & referencesView supporting material

Primary source

Amar Hadzihasanovic, “A combinatorial-topological shape category for polygraphs”, arXiv:1806.10353 (2019).

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.