English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

In this paper we have tried to reduce the classical classification problems for spaces and maps of the proper category and of the strong shape category to similar problems in the homotopy category of simplicial sets or in the homotopy category of simplicial Af-sets, which M is the monoid of proper selfmaps of the discrete space N of nonnegative integers. Given a prospace (prosimplicial set) Y , we have constructed a simplicial set & Y such that the Hurewicz homotopy groups of & Y are the Grossman homotopy groups of Y . For the case of the end prospace Y = eX of a space X , we obtain Brown's proper homotopy groups; and for the Vietoris prospace Y = VX (introduced by Porter) of a compact metrisable space X , we have Quigley's inward groups. The simplicial subset & Y of a tower Y contains, as a simplicial subset, the homotopy limit lim7* Y . The inclusion lim* Y —► 3" Y induces many relations between the homotopy and (co)homology invariants of the prospace Y. Using the functor &> we prove Whitehead theorems for proper homotopy, prohomotopy, and strong shape theories as a particular case of the standard Whitehead theorem. The algebraic condition is given in terms of Brown's proper groups, Grossman's homotopy groups and Quigley's inward groups, respectively. In all these cases an equivalent cohomological condition can be given by taking twisted coefficients. The "singular" homology groups of £P Y provide homology theories for the Brown, Grossman and Quigley homotopy groups that satisfy Hurewicz theorems in the corresponding settings. However, there are other homology theories for the homotopy groups above satisfying other Hurewicz theorems. We also analyse the notion of ^-movable prospace. For a ^-movable tower we prove easily (without lim1 functors) that the strong homotopy groups agree with the Cech homotopy groups and the Grossman homotopygroups are determined by the Cech (or strong) groups by the formula anq = 3"7tq . This implies that the algebraic condition of the Whitehead_theorem can be given in terms of strong (Cech) groups when the condition of ^"-movability is included. We also study homology theories for the strong (Steenrod) homotopy groups which satisfy Hurewicz theorems but in general do not agree with the corresponding Steenrod-Sitnikov homology theories. Received by the editors April 14, 1993 and, in revised form, March 10, 1994. 1991 Mathematics Subject Classification. Primary 55N05, 55N07, 55N35, 55P55, 55Q07, 55Q99.

Applications of simplicial 𝑀-sets to proper and strong shape theories