Category Descriptions of the S<sub>n</sub>- and S-equivalence (CROSBI ID 144022)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Červar, Branko ; Uglešić, Nikica
engleski
Category Descriptions of the S<sub>n</sub>- and S-equivalence
By reducing the Marde\v{; ; ; s}; ; ; i\'{; ; ; c}; ; ; }; ; ; $S${; ; ; \small -equivalence to a finite case, i.e. to each \in\{; ; ; 0\}; ; ; \cup\mathbb{; ; ; N}; ; ; ${; ; ; \small\ separately, the authors recently derived the notion of $S_{; ; ; n}; ; ; ${; ; ; \small -equivalence of compacta. In this paper the additional notion of }; ; ; $S_{; ; ; n}; ; ; ^{; ; ; +}; ; ; $-equivalence is introduced such that $S_{; ; ; n}; ; ; ^{; ; ; +}; ; ; $ implies $S_{; ; ; n}; ; ; $ and $S_{; ; ; n}; ; ; $ implies $S_{; ; ; n-1}; ; ; ^{; ; ; +}; ; ; $. The implications $S_{; ; ; 1}; ; ; ^{; ; ; +}; ; ; \Rightarrow S_{; ; ; 1}; ; ; \Rightarrow S_{; ; ; 0}; ; ; ^{; ; ; +}; ; ; \Rightarrow S_{; ; ; 0}; ; ; $ as well as $Sh\Rightarrow S\Rightarrow S_{; ; ; 1}; ; ; $ are strict. Further, for every $n\in\mathbb{; ; ; N}; ; ; $, a category $\underline{; ; ; \mathcal{; ; ; A}; ; ; }; ; ; _{; ; ; n}; ; ; $ and a homotopy relation on its morphism sets are constructed such that the mentioned equivalence relations admit appropriate descriptions in the given settings. There exist functors of $\underline{; ; ; \mathcal{; ; ; A}; ; ; }; ; ; _{; ; ; n^{; ; ; \prime}; ; ; }; ; ; $ to $\underline{; ; ; \mathcal{; ; ; A}; ; ; }; ; ; _{; ; ; n}; ; ; $, $n\leq n^{; ; ; \prime}; ; ; $, keeping the objects fixed and preserving the homotopy relation. Finally, the $S$-equivalence admits a category characterization in the corresponding sequential category $\underline{; ; ; \mathcal{; ; ; A}; ; ; }; ; ; .
compactum; ANR; shape; S-equivalence; S_{;;; n};;; -equivalence; category
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano