3 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…

Let $C$ be a finite-dimensional geometric precubical set, let $n\in\mathbb{N}$, let $c\in C(n)$, and let $I^n$ be the standard $n$-cube. Write $\greal{C}$ for the geometric realiza…

Let $C$ be a precubical set, let $\fundtgpd(C)$ and $\fundtcat(C)$ denote the corresponding algebraic structures of formal 2-cells, and let $\dgreal C$ be the geometric realization…