Movability of morphisms in an enriched pro-category and in a \(J\)-shape category (Q6602403)

Shape theory was introduced by K. Borsuk in the late 60s of the last century. Later, S. Mardešić and J. Segal successfully used the inverse system approach and the language of pro-categories to describe shape theory. In [Glas. Mat., III. Ser. 42, No. 1, 145--187 (2007; Zbl 1131.55005)], \textit{N. Koceić Bilan} and \textit{N. Uglešić} generalized the pro-category by a constructed pro$^*$-category, so that the usual pro-category can be considered as a subcategory of the pro$^*$-category. Recently, in [``Enriched pro-categories and shapes'', Preprint, \url{arXiv:1905.07181}], \textit{N. Uglešić} constructed a pro$^{J}$-category (so-called enriched pro-category) that generalizes the pro$^*$-category. The categories pro, pro$^*$ and pro$^{J}$ are constructed over all inverse systems (of a given category $C$) as objects, and their morphisms consist of $C$-morphisms, sequences of $C$-morphisms, or sets of $C$-morphisms indexed by a directed partially ordered set $(J,\leq)$, respectively. These categories are realizing categories for the shape $(Sh)$, coarse shape $(Sh^*)$ and the $J$-shape category $(Sh^{J})$, respectively, where $Sh^{J}$ extends the category $Sh^*$ and $Sh^*$ generalizes the category $Sh$. \N\NThe notion of movability of metrizable compacta was first introduced by \textit{K. Borsuk} [Fundam. Math. 66, 137--146 (1969; Zbl 0189.53802)]. In the book [Shape theory. The inverse system approach. Amsterdam - New York - Oxford: North-Holland Publishing Company (1982; Zbl 0495.55001)] by \textit{S. Mardešić} and \textit{J. Segal} various types of movability are discussed. The authors have studied the concepts of mobility in a number of publications ([\textit{P. S. Gevorgyan}, Glas. Mat., III. Ser. 38, No. 1, 177--183 (2003; Zbl 1049.55006); \textit{P. S. Gevorkyan}, Math. Notes 71, No. 2, 281--284 (2002; Zbl 1029.54017); translation from Mat. Zametki 71, No. 2, 311--315 (2002); \textit{P. S. Gevorgyan} and \textit{I. Pop}, Bull. Pol. Acad. Sci., Math. 55, No. 3, 229--242 (2007; Zbl 1130.54009); \textit{I. Pop}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Mat. 59, No. 1, 25--42 (2013; Zbl 1324.54033)]). They continued the study of movability but shifted their research interest to the notion of movability of morphisms in the different types of shape categories ([\textit{P. S. Gevorgyan} and \textit{I. Pop}, Bull. Pol. Acad. Sci., Math. 64, No. 1, 69--83 (2016; Zbl 1353.55005); \textit{P. S. Gevorgyan} and \textit{I. Pop}, Topology Appl. 221, 309--325 (2017; Zbl 1373.55015); \textit{P. S. Gevorgyan} and \textit{I. Pop}, ibid. 275, Article ID 107001, 18 p. (2020; Zbl 1437.55015)]) and their realizing pro-categories. In this paper, the authors use similar ideas to define some movability properties for \(J\)-shape morphisms and pro$^{J}$-morphisms and obtain some analogous results.