×

Homotopical approach to strong shape or completion theory. (English) Zbl 0588.55008

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.
Reviewer: F.W.Bauer

MSC:

55P55 Shape theory
55U35 Abstract and axiomatic homotopy theory in algebraic topology
18G55 Nonabelian homotopical algebra (MSC2010)
18D20 Enriched categories (over closed or monoidal categories)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Artin, M.; Mazur, B., Etale Homotopy, (Lecture Notes in Math., 100 (1969), Springer: Springer Berlin) · Zbl 0182.26001
[2] Bousfield, A. K.; Kan, D. M., Homotopy Limits, Completions and Localizations, (Lecture Notes in Math., 304 (1972), Springer: Springer Berlin) · Zbl 0259.55004
[3] Cathey, F. W., Strong shape theory, Shape Theory and Geometric Topology Proc.. (Lecture Notes in Math., 870 (1981), Springer: Springer Berlin), 215-238 (1981), Dubrovnik
[4] Cathey, F. W.; Segal, J., Strong shape theory and resolutions, Topology Appl., 15, 119-130 (1983) · Zbl 0505.55012
[5] Deleanu, A.; Hilton, P., Generalized shape theory, (Lecture Notes in Math., 609 (1977), Springer: Springer Berlin), 56-65
[6] Dror, E., A generalization of the Whitehead theorem, Symposium on Algebraic Topology. (Lecture Notes in Math., 249 (1971), Springer: Springer Berlin), 13-22 (1971), Seattle
[7] Dydak, J., Pointed and unpointed shape and pro-homotopy, Fund. Math., 107, 57-69 (1980) · Zbl 0362.55012
[8] Edwards, D. A.; Geoghegan, R., Shapes of complexes, ends of manifolds, homotopy limits and the Wall obstruction, Ann. Math., 101, 521-535 (1975) · Zbl 0287.57005
[9] Edwards, D. A.; Hastings, H. M., Cech and Steenrod Homotopy Theories with Applications to Geometric Topology, (Lecture Notes in Math., 542 (1976), Springer: Springer Berlin) · Zbl 0334.55001
[10] Eilenberg, S.; Kelly, G. M., Closed categories, (Proc. Conf. Categorical Algebra (1966), Springer: Springer Berlin), 421-562, (La Jolla, 1965)
[11] Gabriel, P.; Zisman, M., Calculus of Fractions and Homotopy Theory, (Ergebnisse der Matematik, 35 (1967), Springer: Springer Berlin) · Zbl 0186.56802
[12] Isbell, J. R., Uniform Spaces, (Math. Surveys No. 12 (1964), Amer. Math. Soc: Amer. Math. Soc Providence, RI) · Zbl 0124.15601
[13] Kelly, G. M., Basic Concepts of Enriched Category Theory, (Lecture Notes Series, 64 (1982), Cambridge University Press: Cambridge University Press London) · Zbl 0709.18501
[14] MacLane, S., Categories for the Working Mathematician, (Graduate Texts in Math., 5 (1971), Springer: Springer Berlin) · Zbl 0705.18001
[15] Mardešić, S.; Segal, J., Shape Theory, (Mathematical Library Series, 26 (1982), North-Holland: North-Holland Amsterdam) · Zbl 0495.55001
[16] Quillen, D. G., Homotopical Algebra, (Lecture Notes in Math., 43 (1967), Springer: Springer Berlin) · Zbl 0168.20903
[17] Rector, D. L., Homotopy theory of rigid profinite spaces I, Pacific J. Math., 85, 413-445 (1979) · Zbl 0449.55013
[18] Spanier, E., Algebraic Topology (1966), McGraw-Hill: McGraw-Hill New York · Zbl 0145.43303
[19] Sullivan, D., Genetics of homotopy theory and the Adams conjecture, Ann. Math., 100, 1-79 (1974) · Zbl 0355.57007
[20] Whitehead, G. W., Elements of Homotopy Theory (1978), Springer: Springer New York · Zbl 0151.31101
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.