Corner homology of cubes, free morphism categories and globes
Corner homology of cubes, free morphism categories and globes
Let be the -cube, let be the free -category generated by an -morphism, and let for be the oriented -globe, namely the free -category generated by two non-homotopic -morphisms with the same -source and -target. Basic corner-homology conjectures. For , ; if , then ; and for with , , while
These are stated as elementary test cases for the corner homology theories and are said to be verifiable in lower dimensions; no general proof is supplied.
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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.