×

The coherent homotopy category over a fixed space is a category of fractions. (English) Zbl 0751.55010

Let 1) \(\text{Ho}(\text{Top}_ B)\) be the category \(\text{Top}_ B(\Sigma^{-1})\), where \(\Sigma\) denotes the class of all \(\phi: X\to Y\) over \(B\) which are homotopy equivalences (not necessarily over \(B\)), and 2) \({\mathcal H}_ B\) be the category with the same objects as \(\text{Top}_ B\) having equivalence classes of homotopies \(h_t: f\simeq g\phi\), \(f: X\to B\), \(g: Y\to B\), \(\phi: X\to Y\) as morphisms. The objective of this paper is to provide an isomorphism between both categories. This is accomplished by making excessive use of the explicit construction of a quotient category (resp. its characterization) \({\mathcal C}(\Sigma^{-1})\) (\(\mathcal C\) = a given category, \(\Sigma\) = class of morphisms) due to J. Dugundji and the reviewer [Trans. Am. Math. Soc. 140, 239–256 (1969; Zbl 0182.25902)].

MSC:

55P99 Homotopy theory
55P10 Homotopy equivalences in algebraic topology
55U35 Abstract and axiomatic homotopy theory in algebraic topology
18D05 Double categories, \(2\)-categories, bicategories and generalizations (MSC2010)

Citations:

Zbl 0182.25902
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Bauer, F.-W.; Dugundji, J., Categorical homotopy and fibrations, Trans. Amer. Math. Soc., 140, 239-256 (1969) · Zbl 0182.25902
[2] Cordier, J.-M., Sur la notion de diagramme homotopiquement cohérent, Cahiers Topologie Géom. Différentielle, 23, 93-112 (1982), Proc. 3ème Colloque Catégories, Amiens 1980 · Zbl 0493.55009
[3] Cordier, J.-M., Comparison de deux catégories d’homotopie de morphismes cohérents, Cahiers Topologie Géom. Différentielle Catégoriques, 30, 257-275 (1989) · Zbl 0679.55006
[4] Cordier, J.-M.; Porter, T., Vogt’s theorem on categories of homotopy coherent diagrams, Math. Proc. Cambridge Philos. Soc., 100, 65-90 (1986) · Zbl 0603.55017
[5] tom Dieck, T.; Kamps, K. H.; Puppe, D., Homotopietheorie, (Lecture Notes in Mathematics, 157 (1970), Springer: Springer Berlin) · Zbl 0203.25401
[6] Dold, A., Partitions of unity in the theory of fibrations, Ann. of Math., 78, 223-255 (1963) · Zbl 0203.25402
[7] Edwards, D. A.; Hastings, H. M., Čech and Steenrod Homotopy Theories with Applications to Geometric Topology, (Lecture Notes in Mathematics, 542 (1976), Springer: Springer Berlin) · Zbl 0334.55001
[8] Hardie, K. A.; Kamps, K. H., Track homotopy over a fixed space, Glas. Mat., 24, 44, 161-179 (1989) · Zbl 0687.55010
[9] Kamps, K. H., Zur Homotopietheorie von Gruppoiden, Arch. Math., 23, 610-618 (1972) · Zbl 0251.20059
[10] Kamps, K. H.; Porter, T., Abstract homotopy and simple homotopy theory, (Preprint 86.9 (1986), University College of North Wales: University College of North Wales Bangor) · Zbl 0890.55014
[11] Vogt, R. M., Homotopy limits and colimits, Math. Z., 134, 11-52 (1973) · Zbl 0276.55006
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.