\(\Lambda\)-cofibration categories and the homotopy categories of global actions and simplicial complexes (Q1597415)

The author investigates the homotopy category \(\mathcal{H}_{0}(\mathcal{C})\) of a \(\Lambda \)-cofibration \(\mathcal{C}\). They are a generalization of the \( I\)-categories (the category of topological spaces is an example) introduced by \textit{H. J. Baues} [Algebraic homotopy, Camb. Stud. Adv. Math. 15 (1989; Zbl 0688.55001)] and the main examples are the category of global actions introduced by \textit{A. Bak} [Russ. Math. Surv. 52, No. 5, 955-996 (1997); translation from Usp. Mat. Nauk 52, No. 5, 71-112 (1997; Zbl 0928.18005)] and the category of simplicial complexes \(\mathcal{SC}\). It is obtained that for \(\mathcal{C}=\mathcal{G}_{1}\) (category of global actions with general morphisms), \(\mathcal{G}_{2}\)\ (category of global actions with regular morphisms) and \(\mathcal{SC}\), the category \(\mathcal{H} _{0}(\mathcal{C})\)\ is the localization of \(\mathcal{C}\)\ with respect to the strong homotopy equivalences and that \(\mathcal{F}_{2}^{'}: \mathcal{H}_{0}(\overline{\mathcal{G}_{1}})\rightarrow \mathcal{H}_{0}( \mathcal{S}\mathcal{C})\), where \(\overline{\mathcal{G}_{1}}\) is the full subcategory of \(\mathcal{G}_{1}\)\ consisting of all covered global actions and \(\mathcal{F}_{2}\) is the forgetful functor, is an equivalence and \ \(|\) \( |':\mathcal{H}_{0}(\mathcal{S}\mathcal{C})\rightarrow \mathcal{H} _{0}(\text{Top})\) induced by geometric realization and \(\mathcal{F}_{1}^{'}:\mathcal{H}_{0}(\mathcal{G}_{2})\rightarrow \mathcal{H}_{0}(\mathcal{G} _{1})\)\ induced by the forgetful functor are not equivalences. There are also defined\ for any object \(A\) in a \(\Lambda \)-cofibration category the groups \(\pi _{n}^{A}(U)\)\ using \(\alpha \)-suspensions. For \( n\geq 2\) these groups are abelian and for the pointed categories \(\mathcal{G} _{1\ast }\), \(\mathcal{G}_{2\ast \text{ }}\)or \(\mathcal{SC}_{\ast }\), taking \( A\)\ as the global action or simplicial complex \(S^{0}\), the groups \(\pi _{n}^{S^{0}}(U)\), for \(n\geq 1\) are interpreted as the groups of sphere-homotopy classes of \(n\)-sphere maps. For a pointed simplicial complex \(K\), the author shows that \(\pi _{n}(K)\simeq \pi _{n}(|K|)\)\ extending the classical result of \textit{E. H. Spanier} [Algebraic topology (1966; Zbl 0145.43303)] \(\mathcal{E}(K,\ast)\simeq \pi _{1}(|K|)\) where \(\mathcal{E} (K,\ast)\)\ denotes the edge path group of \(K\).