Related papers: Shape Theory
We briefly review the origins and development of Borsuk's Theory of Shapes and the Multivalued Shape of Sanjurjo. We use a construction over metric compacta using hyperspaces to define a finite type version.
Shape theory works nice for (Hausdorff) paracompact spaces, but for spaces with no separation axioms, it seems to be quite poor. However, for finite and locally finite spaces their weak homotopy type is rather rich, and is equivalent to the…
A general equivariant shape theory for arbitrary $G$-spaces in the case of a compact group $G$ is constructed by using the method of pseudometrics suggested by Yu. M. Smirnov as early as in 1985 at the fifth Tiraspol symposium on general…
Toen has interpreted the schematization problem as originally imagined by Grothendieck in "Pursuing Stacks" in such a way that solution(s) to this problem could be given. As he pointed out, there are many solutions available, and he gave…
The theory of Physical Structures (TPS) was put forward by Professor Yu.I. Kulakov for the sake of classifying the laws of Physics. The history of the development of that theory is given in his monograph [1]. A physical structure is a…
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…
What is the shape of space is a long-standing question in cosmology. In this talk I review recent advances in cosmic topology since it has entered a new era of experimental tests. High redshift surveys of astronomical sources and accurate…
Homotopy type theory is a logical setting in which one can perform geometric constructions and proofs in a synthetic way. Namely, types can be interpreted as spaces up to homotopy, and proofs as homotopy invariant constructions. In this…
Oka theory has its roots in the classical Oka principle in complex analysis. It has emerged as a subfield of complex geometry in its own right since the appearance of a seminal paper of M. Gromov in 1989. Following a brief review of Stein…
This treatise concerns shapes in the sense of constellations of points with various automorphisms quotiented out: continuous translations, rotations and dilations, and also discrete mirror image identification and labelling…
In architecture, city planning, visual arts, and other design areas, shapes are often made with points, or with structural representations based on point-sets. Shapes made with points can be understood more generally as finite arrangements…
Isaak Moiseevich Yaglom deduced complete classification of geometric spaces. In this work, supposed to your attention, author formalizes Yaglom's approach and constructs uniform theory of geometric spaces on analytic level. Among its…
Some examples from the mathematics of shape are presented that question some of the almost hidden assumptions behind results on limiting behaviour of finitary approximations to space-time. These are presented so as to focus attention on the…
This survey contains the main results in rational homotopy, from the beginning to the most recent ones. It makes the status of the art, gives a short presentation of some areas where rational homotopy has been used, and contains a lot of…
Shape Dynamics (SD) is a new theory of gravity that is based on fewer and more fundamental first principles than General Relativity (GR). The most important feature of SD is the replacement of GR's relativity of simultaneity with a more…
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…
After the first heuristic ideas about `the field of one element' F_1 and `geometry in characteristics 1' (J.~Tits, C.~Deninger, M.~Kapranov, A.~Smirnov et al.), there were developed several general approaches to the construction of…
Shape dynamics is an alternative background-independent approach to classical dynamics that implements Leibnizian philosophy and Mach's Principles. It is a formulation of the dynamics of the universe in terms of the intrinsic and relational…
We present a sheaf-theoretic construction of shape space -- the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transform (PHT).…
Michael Shub proved in 1969 that the topological conjugacy class of an expanding endomorphism on a compact manifold is determined by its homotopy type. In this article we generalize this result in two directions. In one direction we…