Related papers: Strong Shape Theory of Continuous Maps
The current work is motivated by the papers $[B_3]$, $[B_6]$, $[Be]$, $[Be-Tu]$. In particular, using Theorem 3.7 of $[B_3]$ and methods developed in this paper, the spectral and strong homology groups of continuous maps were defined and…
In the paper we construct and develop a fiber strong shape theory for arbitrary spaces over fixed metrizable space $\Bo$. Our approach is based on the method of Marde\v{s}i\'{c}-Lisica and instead of resolutions, introduced by…
In this article we study two "strong" topologies for spaces of smooth functions from a finite-dimensional manifold to a (possibly infinite-dimensional) manifold modeled on a locally convex space. Namely, we construct Whitney type topologies…
The paper is devoted to one of the important notions of the shape theory: that of strong movability, which was primarily introduced by K. Borsuk for metrizable compacts. A strong movability criterion is proved for topological spaces, which…
Fine shape, as defined by Melikhov, is an extension of the strong shape category of compacta (compact metrizable topological spaces) to all metrizable spaces, notable for being compatible with both \v{C}ech cohomology and Steenrod-Sitnikov…
In this paper, we aim to establish a new shape theory, compact Hausdorff shape (CH-shape) for general Hausdorff spaces. We use the "internal" method and direct system approach on the homotopy category of compact Hausdorff spaces. Such a…
The strong shape category of compact metrizable spaces (compacta) is very well-studied; extending it to noncompact spaces, however, introduces computational complexity that makes it hard to work with. The fine shape category, as defined by…
We introduce and develop fine shape, which has a very simple definition and aims to supersede all previously known shape theories for metrizable spaces. The problem with known shape theories of metrizable spaces is illustrated by the…
We develop a homotopical framework for small categories that extends classical invarints of algebraic topology to the categorical setting. Our approach is based on the construction of genuine path category, obtained trough a localization…
Stable fold maps are fundamental tools in studying a generalized theory of the theory of Morse functions on smooth manifolds and its application to geometry of the manifolds. It is important to construct explicit fold maps systematically to…
We study the inverse problem for persistent homology: For a fixed simplicial complex $K$, we analyse the fiber of the continuous map $\mathrm{PH}$ on the space of filters that assigns to a filter $f: K \to \mathbb R$ the total barcode of…
Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of geometric properties of smooth manifolds. Round fold maps were introduced as stable fold maps…
In this paper, we present a constructive and proof-relevant development of graph theory, including the notion of maps, their faces, and maps of graphs embedded in the sphere, in homotopy type theory. This allows us to provide an elementary…
Magnitude homology is an emerging framework that captures the intrinsic topological and geometric features of metric spaces, demonstrating significant potential for topoplogical data analysis and geometric data analysis. This work…
This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…
In the study of holomorphic maps, the term "rigidity" refers to certain types of results that give us very specific information about a general class of holomorphic maps owing to the geometry of their domains or target spaces. Under this…
We complete and precise the results of [B.13] and we prove a strong version of the semi-proper direct image theorem with values in the space C f n (M) of finite type closed n--cycles in a complex space M. We describe the strongly…
In the paper [Ba-Be-Mdz], using the Alexander-Spanier cochains based on the normal coverings, the exact homology theory $\bar{H}^N_*(-,-;G)$, the so called Alexander-Spanier homology theory, is defined. In the paper we will use the method…
We show that the space of chains of smooth maps from spheres into a fixed compact oriented manifold has a natural structure of a transversal $d$-algebra. We construct a structure of transversal 1-category on the space of chains of maps from…
Discrete homotopy theory or A-homotopy theory is a combinatorial homotopy theory defined on graphs, simplicial complexes, and metric spaces, reflecting information about their connectivity. The present paper aims to further understand the…