2 problems

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…

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