Thin-element decomposition conjecture for homotopic functors

Let C\mathcal{C} and D\mathcal{D} be free ω\omega-categories, let f,g:CDf,g:\mathcal{C}\to\mathcal{D} be homotopic non 11-contracting ω\omega-functors, and let xωCat(In,C)±x\in\omega\operatorname{Cat}(I^n,\mathcal{C})^\pm. Thin-element decomposition conjecture. There exist a boundary BB of ZωCat(In,D)±\mathbb{Z}\omega\operatorname{Cat}(I^n,\mathcal{D})^\pm and a linear combination TT of thin elements of ZωCat(In,D)±\mathbb{Z}\omega\operatorname{Cat}(I^n,\mathcal{D})^\pm such that

f(x)g(x)=B+T.f(x)-g(x)=B+T.

This decomposition is presented as the additional fact needed to derive corner-homology invariance from the thin-element conjecture; it remains unresolved in the source.

Sources & referencesView supporting material

Primary source

Philippe Gaucher, “Homotopy invariants of higher dimensional categories and concurrency in computer science”, arXiv:math/9902151 (2000).

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.