Addendum to "Čech and Steenrod homotopy theory with applications to geometric topology"
The purpose of this paper is to provide a geometric explanation of strong shape theory and to give a fairly simple way of introducing the strong shape category formally. Generally speaking, it is useful to introduce a shape theory as a localization at some class of “equivalences”. We follow this principle and we extend the standard shape category Sh(HoTop) to Sh(pro-HoTop) by localizing pro-HoTop at shape equivalences. Similarly, we extend the strong shape category of Edwards-Hastings to sSh(pro-Top)...
We show that one can reduce the study of global (in particular cohomological) properties of a compact Hausdorff space X to the study of its stable cohomotopy groups . Any cohomology functor on the homotopy category of compact spaces factorizes via the stable shape category ShStab. This is the main reason why the language and technique of stable shape theory can be used to describe and analyze the global structure of compact spaces. For a given Hausdorff compact space X, there exists a metric compact...
We show that the Vietoris system of a space is isomorphic to a strong expansion of that space in the Steenrod homotopy category, and from this we derive a simple description of strong homology. It is proved that in ZFC strong homology does not have compact supports, and that enforcing compact supports by taking limits leads to a homology functor that does not factor over the strong shape category. For compact Hausdorff spaces strong homology is proved to be isomorphic to Massey's homology.