Functorial reducing \textit{pro*-Grp} category to \textit{pro-Grp} (Q2312446)

The shape category is formed by associating to a space $X$ an inverse system $(X_{\lambda}, p_{\lambda \lambda'},\Lambda)$, in the category pro-HPol. The shape morphisms are certain classes of pro-HPol morphisms between associated inverse systems. The coarse shape category is formed also by associating to a space $X$ an inverse system $(X_{\lambda}, p_{\lambda \lambda'},\Lambda)$, while the coarse shape morphisms are certain classes of morphisms between associated inverse systems, from the modified category pro*-HPol. For an inverse system of groups $(G_{\lambda}, p_{\lambda \lambda'},\Lambda)$, by putting \[ \tilde{R}(G_{\lambda}, p_{\lambda \lambda'}, \Lambda) = (\frac{\prod_N G_{\lambda}}{\bigoplus_N G_{\lambda}}, \tilde{p}_{\lambda \lambda'},\Lambda) \] the authors define a functor $\tilde{R}:$ pro*-Grp $\rightarrow$ pro-Grp, and show that the $k$-th coarse shape homotopy group can be computed by \[ \check{\pi}_k^*(X,x_0)=\varprojlim(\frac{\prod_N \pi_k(X_\lambda,x_\lambda)}{\bigoplus_N \pi_k(X_\lambda,x_\lambda)}, \tilde{p}_{\lambda \lambda'},\Lambda) \] and the $k$-th coarse shape homology group of the topological space $X$ is given by \[ \check{H}_k^*(X)=\varprojlim(\frac{\prod_N H_k(X_\lambda)}{\bigoplus_N H_k(X_\lambda)}, \tilde{p}_{\lambda \lambda'},\Lambda). \] In the present paper, the Hurewicz theorem, relating homotopy and homology groups, is proposed in a new context -- for coarse shape groups. One corollary is the following assertion that does not hold for shape groups: Let $(X, x_0)$ be a compact pointed metric space and $n\geq 2$ such that $\check{\pi}_k^*(X,x_0)=0$ for every $0\leq k \leq n-1$. Then the corresponding $k$-th coarse shape homology groups are trivial, for every $1\leq k\leq n-1$, and $\check{\pi}_n^*(X,x_0)$ and $\check{H}_n^*(X)$ are isomorphic.