CONTENTS§1. Introduction................................................................................................................................... 5§2. Some classes of objects and morphisms in pro-categories..................................................... 5§3. Shape category.................................................................................................................................... 14§4. Deformation dimension........................................................................................................................
We present an approach to cohomological dimension theory based on infinite symmetric products and on the general theory of dimension called the extension dimension. The notion of the extension dimension ext-dim(X) was introduced by A. N. Dranishnikov [9] in the context of compact spaces and CW complexes. This paper investigates extension types of infinite symmetric products SP(L). One of the main ideas of the paper is to treat ext-dim(X) ≤ SP(L) as the fundamental concept of cohomological dimension...
The purpose of this paper is to provide a geometric explanation of strong shape theory and to give a fairly simple way of introducing the strong shape category formally. Generally speaking, it is useful to introduce a shape theory as a localization at some class of “equivalences”. We follow this principle and we extend the standard shape category Sh(HoTop) to Sh(pro-HoTop) by localizing pro-HoTop at shape equivalences. Similarly, we extend the strong shape category of Edwards-Hastings to sSh(pro-Top)...
We characterize strong cohomological dimension of separable metric spaces in terms of extension of mappings. Using this characterization, we discuss the relation between strong cohomological dimension and (ordinal) cohomological dimension and give examples to clarify their gaps. We also show that if X is a separable metric ANR and G is a countable Abelian group. Hence for any separable metric ANR X.
A morphism of a category which is simultaneously an epimorphism and a monomorphism is called a bimorphism. The category is balanced if every bimorphism is an isomorphism. In the paper properties of bimorphisms of several categories are discussed (pro-homotopy, shape, proper homotopy) and the question of those categories being balanced is raised. Our most interesting result is that a bimorphism f:X → Y of is an isomorphism if Y is movable. Recall that is the full subcategory of consisting of...
The Borsuk-Sieklucki theorem says that for every uncountable family of n-dimensional closed subsets of an n-dimensional ANR-compactum, there exist α ≠ β such that . In this paper we show a cohomological version of that theorem:
Theorem. Suppose a compactum X is , where n ≥ 1, and G is an Abelian group. Let be an uncountable family of closed subsets of X. If for all α ∈ J, then for some α ≠ β.
For G being a countable principal ideal domain the above result was proved by Choi and Kozlowski...
Download Results (CSV)