Results 31 to 40 of about 933 (203)

Proximity Relative Homotopy and Proximity Weak Equivalence

Wasit Journal for Pure Sciences
In this paper, we introduce and study proximity path covering property (PPCP), we define the concept of naw proximity relative homotopy (PRH), and Mixed proximity relative homotopy (MPRH), and study proximity weak equivalence (PWE), some theories and ...
Ammar Qasim
doaj   +1 more source

Homotopy theory of Moore flows (II)

Extracta Mathematicae, 2021
This paper proves that the q-model structures of Moore flows and of multipointed d-spaces are Quillen equivalent. The main step is the proof that the counit and unit maps of the Quillen adjunction are isomorphisms on the q-cofibrant objects (all objects ...
Philippe Gaucher
doaj  

Subdivision-based homotopy equivalence of digital circles

Applied General Topology
A direct translation of the notion of homotopy equivalence from algebraic topology to digital images leads to a much more rigid definition in the context of digital topology. This results in two digital circles of different radii being not homotopic.
Samia Ashraf, Madiha Akram, Amna Amanat Ali   +2 more
doaj   +1 more source

Why is Landau-Ginzburg link cohomology equivalent to Khovanov homology?

Journal of High Energy Physics, 2019
In this note we make an attempt to compare a cohomological theory of Hilbert spaces of ground states in the N = 2 2 $$ \mathcal{N}=\left(2,2\right) $$ 2d Landau-Ginzburg theory in models describing link embeddings in ℝ3 to Khovanov and Khovanov-Rozansky ...
Dmitry Galakhov
doaj   +1 more source

Homotopy equivalences on 3-manifolds [PDF]

Proceedings of the American Mathematical Society, 1984
Suppose M 3 {M^3} is a 3 3 -manifold and f : M 3 → X f:{M^3} \to X is a homotopy equivalence onto an ANR X X .
openaire   +2 more sources

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Generalized equivalence of matrices over Prüfer domains

International Journal of Mathematics and Mathematical Sciences, 1991
Two m×n matrices A,B over a commutative ring R are equivalent in case there are invertible matrices P, Q over R with B=PAQ. While any m×n matrix over a principle ideal domain can be diagonalized, the same is not true for Dedekind domains.
Frank DeMeyer, Hainya Kakakhail
doaj   +1 more source

Morse theory for C*-algebras: a geometric interpretation of some noncommutative manifolds

Applied General Topology, 2011
The approach we present is a modification of the Morse theory for unital C*-algebras. We provide tools for the geometric interpretation of noncommutative CW complexes. Some examples are given to illustrate these geometric information.
Vida Milani, Ali Asghar Rezaei, Seyed M.H. Mansourbeigi   +2 more
doaj   +1 more source

A Note on Homotopy Equivalences [PDF]

Proceedings of the American Mathematical Society, 1972
Given a homotopy equivalence f : X → Y f:X \to Y , a homotopy inverse g of f, and a homotopy H : X × I → X H:X \times I \to X from g ∘ f g \circ f to 1 X
openaire   +1 more source

Bioconvective Chemically Reactive Radiative Squeezing Flow of a Casson Hybrid Nanofluid Between Two Parallel Plates Under Variable Viscosity

Asia-Pacific Journal of Chemical Engineering, EarlyView.
ABSTRACT Hybrid nanofluids, known for their superior thermal and electrical conductivity, have demonstrated remarkable potential in enhancing the heat transfer capability of conventional base fluids. This study analyzes the effects of viscous dissipation and heat radiation on two‐dimensional unsteady incompressible squeezing flow transporting hybrid ...
Hajra Batool, Dur‐e‐Shehwar Sagheer, Muhammad Sabeel Khan, Hassan Shahzad   +3 more
wiley   +1 more source