4 problems

Branching-homology vanishing conjecture. For every integer $n>0$,

Let $f$ be a morphism of globular CW-complexes from $X$ to $Y$. A weak S-homotopy equivalence is a morphism that induces a bijection between the $0$-skeleta and, for every…

A higher-dimensional automaton (HDA) is a model for concurrency based on labeled precubical sets, while a history-dependent automaton is a formalism introduced by Montanari and Pis…

Presentation conjecture. Proposition $$ gives a presentation by generators and relations of the monoid $\overline{\square}([n],[n])$ for every $n\geqslant 2$.