Homotopical approach to strong shape or completion theory
type: Item
instance of: scholarly article
title: Homotopical approach to strong shape or completion theory
zbMATH Open document ID: 0588.55008
DOI: 10.1016/0166-8641(85)90103-8
author: F. W. Cathey
author: Jack Segal
published in: Topology and its Applications
publication date: 1985-01-01T00:00:00Z
review text: Strong shape theory has been introduced in the seventies by different authors and in different settings e.g. by Edwards and Hastings and by the reviewer. The main idea is embodied in the use of specific homotopies between mappings into ''good'' spaces satisfying certain coherence conditions (rather than merely employing homotopy classes which leads to ordinary shape theory). So, in both cases a strong shape category is determined by a pair of categories \(M\subset C\) (M standing for ''good'' objects). Based on this scheme there have appeared different models for strong shape categories for topological spaces [cf. for example the reviewer, Lect. Notes Math. 1060, 119-128 (1984; Zbl 0553.55007); the authors, Topology Appl. 15, 119-130 (1983; Zbl 0505.55012)]. In this paper the authors propose an entirely categorical approach to strong shape theory: Given a pair of categories \(M\subset C\), being equipped with a ''simplicial enrichment of C'' (generalizing the structure entering into Top or pro-Top by the existence of n-homotopies) the authors offer various systems of conditions which lead to a strong shape structure on a purely categorical basis. Most examples deal with pro- categories. One of the central aims is to prove the properties of closed model categories. There are, apart from (topological) strong shape theory, other interesting examples like R-completion theories (Bousfield- Kan) and the case where M consists of Eilenberg-MacLane spaces. Other objectives of the paper are: (1) Representation of the final category as a quotient category, (2) enlarging a given category M (of ''good'' objects) in such a way that the required conditions for the validity of the main theorems of the paper are fulfilled; (3) investigation of the relationship between strong and ordinary shape (defined in the categorical terms of the authors). Furthermore the paper contains some interesting results about topological strong shape theory for compacta.
Mathematics Subject Classification ID: 55P55
Mathematics Subject Classification ID: 55U35
Mathematics Subject Classification ID: 18G55
Mathematics Subject Classification ID: 18D20
zbMATH DE Number: 3944836
zbMATH Keywords: Strong shape theory
zbMATH Keywords: pair of categories
zbMATH Keywords: simplicial enrichment
zbMATH Keywords: pro- categories
zbMATH Keywords: closed model categories
zbMATH Keywords: R-completion theories
zbMATH Keywords: Eilenberg- MacLane spaces
zbMATH Keywords: quotient category
zbMATH Keywords: topological strong shape theory for compacta
reviewed by: Friedrich Wilhelm Bauer
MaRDI profile type: Publication
full work available at URL: 0166-8641(85)90103-8
OpenAlex ID: W2042588693
cites work: Etale homotopy
cites work: Homotopy limits, completions and localizations
cites work: Q3927894
cites work: Strong shape theory and resolutions
cites work: Q4130108
cites work: Q5654780
cites work: Pointed and unpointed shape and pro-homotopy
cites work: Shapes of complexes, ends of manifolds, homotopy limits and the Wall obstruction
cites work: Cech and Steenrod homotopy theories with applications to geometric topology
cites work: Q5586461
cites work: Q5580926
cites work: Q5327708
cites work: Q3491793
cites work: Q4693151
cites work: Q3959112
cites work: Homotopical algebra
cites work: Homotopy theory of rigid profinite spaces. I
cites work: Q5522742
cites work: Genetics of homotopy theory and the Adams conjecture
cites work: Q5530411
description: scientific article; zbMATH DE number 3944836