Strong shape in categories enriched over groupoids (Q2363409): Difference between revisions

For any pair of ge-categories (i.e., a category enriched over the category \(\mathsf{Gpd}\) of groupoids) \(({\mathsf C}, {\mathsf K})\) where \(\mathsf K\) is a full ge-category of \(\mathsf C\), the author constructs a strong shape category \(SSh({\mathsf C}, {\mathsf K})\). This coincides with the strong shape category in the sense of \textit{S. Mardešić} [Strong shape and homology, Berlin: Springer (2000; Zbl 0939.55007)] when one takes the pair of categories the category \(\mathsf {Top}\) of topological spaces and continuous maps and the full category of \(\mathsf {Top}\) whose objects are spaces having the homotopy type of absolute neighborhood retracts for metric spaces. If \(\mathsf C\) is a proper model category, then the author defines a new category \(SS_{\mathsf K}\). The objects of \(SS_{\mathsf K}\) are those of \(\mathsf C\), and the morphisms are defined by some pseudo-natural transformations into the category \(\mathsf {Gpd}\). The main result of the paper is that \(SS_{\mathsf K}\) is isomorphic to \(SSh({\mathsf C}, {\mathsf K})\).