Related papers: The Digital Hopf Construction
Latent fibrations are an adaptation, appropriate for categories of partial maps (as presented by restriction categories), of the usual notion of fibration. The paper initiates the development of the basic theory of latent fibrations and…
The homotopy fiber of the inclusion from the long embedding space to the long immersion space is known to be an iterated based loop space (if the codimension is greater than two). In this paper we deloop the homotopy fiber to obtain the…
In this letter we show numerical existence of O(4) Dirac-Born-Infeld (DBI) Textures living in (N +1) dimensional spacetime. These defects are characterized by $S^N\rightarrow S^3$ mapping, generalizing the well-known Hopf fibration into…
This paper defines homology in homotopy type theory, in the process stable homotopy groups are also defined. Previous research in synthetic homotopy theory is relied on, in particular the definition of cohomology. This work lays the…
We introduce the notion of local fibration, a generalization of the notion of fibration which takes into account the presence of Grothendieck topologies on the two categories, and show that the classical results about fibrations lift to…
We define digital $m-$homotopic distance and its higher version. We also mention related notions such as $m-$category in the sense of Lusternik-Schnirelmann and $m-$complexity in topological robotics. Later, we examine the homotopy…
We define a second (higher) homotopy group for digital images. Namely, we construct a functor from digital images to abelian groups, which closely resembles the ordinary second homotopy group from algebraic topology. We illustrate that our…
The Hopf fibration is an important object in mathematics and physics. A landmark discovery in topology and a fundamental object in the theory of Lie groups, the Hopf fibration has a wide variety of physical applications including magnetic…
To gain deeper insight into the complex, stable, and robust configurations of magnetic textures, topological characterisation has proven essential. In particular, while the skyrmion number is a well-established topological invariant for 2D…
If $q:Y\longrightarrow{B}$ is a fibration and $Z$ is a space, then the free range mapping space $Y!Z$ has a collection of partial maps from $Y$ to $Z$ as underline space, i.e. those such maps whose domains are individual fibre of $q$. It is…
The paper is devoted to introduce some notions extending the unique path lifting property from a homotopy viewpoint and to study their roles in the category of fibrations. First, we define some homotopical kinds of the unique path lifting…
This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic…
Digital topology has its own working conditions and sometimes differs from the normal topology. In the area of topological robotics, we have important counterexamples in this study to emphasize this red line between a digital image and a…
In this article, we discuss some properties of holomorphic fibrations in the complex analytic setting.
We introduce fibred type-theoretic fibration categories which are fibred categories between categorical models of Martin-L\"{o}f type theory. Fibred type-theoretic fibration categories give a categorical description of logical predicates…
We gather conditions on a class H of continuous maps of topological spaces that allow a reasonable theory of fibrations up to an equivalence (a map from this class) which we call H-fibrations. The weak homotopy equivalences recover…
The main objective of this paper is to show that the homotopy colimit of a diagram of quasi-categories and indexed by a small category is a localization of Lurie's higher Grothendieck construction of the diagram. We thereby generalize…
A dynamical Hopf insulator is experimentally synthesized with a quenched two-dimensional quantum anomalous Hall system on a square Raman lattice. The quench dynamics for the quasimomentum-time-dependent Bloch vectors defines a Hopf map from…
This manuscript is devoted to the study of the concept of a generating subset (a.k.a. Hopf image of a morphism) in the setting of locally compact quantum groups. The aim of this paper is to provide an accurate description of the Hopf image…
We classify exterior fibrations in the exterior homotopy category. As a result we also classify proper fibrations between CW-complexes.