Movable categories

Abstract: The notion of movability for metrizable compacts was introduced by K.Borsuk

[1]

. In this paper we define the notion of movable category and prove that the movability of a topological space

X

coincides with the movability of a suitable category, which is generated by the topological space

X

(i.e., the category

W^{X}

, defined by S.Mardesic).

Review text

The concept of a movable space \(X\) is defined by means of an inverse system of CW spaces associated with \(X\). Hence one has to define firstly the notion of a movable inverse system and encounters a problem of invariance of this notion (for a given space \(X\)). The present author defines the concept of a movable category. In shape theory one associates with each space \(X\) in a unique way a category \(\mathcal W^X\) whose objects are homotopy classes of mappings of \(X\) into spaces having the homotopy type of a CW complex. The morphisms are commutative triangles. This amounts to Mardesić's original approach to (ordinary) shape theory. The main theorem consists of the assertion that: A space \(X\) is movable iff the associated category \(\mathcal W^X\) is movable as a category.

Recommendations

Cited in

(13)

This page was built for publication: Movable categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4463614)