English
Related papers

Related papers: Non-singular maps in toposes with a local state cl…

200 papers

For digital images, there is an established homotopy equivalence relation which parallels that of classical topology. Many classical homotopy equivalence invariants, such as the Euler characteristic and the homology groups, do not remain…

General Topology · Mathematics 2015-09-23 Jason Haarmann , Meg P. Murphy , Casey S. Peters , P. Christopher Staecker

Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previously given by the second-named author. This proof can be…

Logic in Computer Science · Computer Science 2025-08-13 Igor Arrieta , Martín Hötzel Escardó , Ayberk Tosun

In this paper, we give a topological version of Scott convergence theorem for locally hypercompact spaces. We introduce the notion of $\mathcal{S}^*_X$-convergence on a $T_0$ topological space $X$, and define the notion of finitely…

General Topology · Mathematics 2023-08-09 Yuxu Chen , Hui Kou

Exceptional points play a pivotal role in the topology of non-Hermitian systems, and significant advances have been made in classifying exceptional points and exploring the associated phenomena. Exceptional surfaces, which are hypersurfaces…

Materials Science · Physics 2022-09-08 Hongwei Jia , Ruo-Yang Zhang , Jing Hu , Yixin Xiao , Yifei Zhu , C. T. Chan

The positive and not completely positive maps of density matrices, which are contractive maps, are discussed as elements of a semigroup. A new kind of positive map (the purification map), which is nonlinear map, is introduced. The density…

Quantum Physics · Physics 2007-05-25 V. I. Man'ko , G. Marmo , E. C. G. Sudarshan , F. Zaccaria

We formalize and generalize the concept of a topological state-sum construction using the language of tensor networks. We give examples for constructions that are possibly more general than all state-sum constructions in the literature that…

Strongly Correlated Electrons · Physics 2019-09-09 Andreas Bauer

We use the topological quantum field theory description of states in Chern-Simons theory to discuss the relation between spacetime connectivity and entanglement, exploring the paradigm entanglement=topology. We define a special class of…

High Energy Physics - Theory · Physics 2023-12-29 Dmitry Melnikov

Let $X$ be a smooth, projective, geometrically connected curve over a finite field $\mathbb{F}_q$, and let $G$ be a split semisimple algebraic group over $\mathbb{F}_q$. Its dual group $\hat{G}$ is a split reductive group over $\mathbb{Z}$.…

Number Theory · Mathematics 2019-08-30 Gebhard Böckle , Michael Harris , Chandrashekhar Khare , Jack A. Thorne

Relations between states and maps, which are known for quantum systems in finite-dimensional Hilbert spaces, are formulated rigorously in geometrical terms with no use of coordinate (matrix) interpretation. In a tensor product realization…

Mathematical Physics · Physics 2007-06-19 Janusz Grabowski , Marek Kus , Giuseppe Marmo

We work in a first-order setting where structures are spread out over a metric space, with quantification allowed only over bounded subsets. Assuming a doubling property for the metric space, we define a canonical {\em core} $\mathcal{J}$…

Logic · Mathematics 2022-02-23 Ehud Hrushovski

To any finite graph $X$ (viewed as a topological space) we assosiate some explicit compact metric space ${\cal X}^r(X)$ which we call {\it the reflection tree of graphs $X$}. This space is of topological dimension $\le1$ and its connected…

Group Theory · Mathematics 2021-03-10 Jacek Świątkowski

Let $\mathcal{A}$ be a locally bounded $k$-category and $G$ a torsion-free group of $k$-linear automorphisms of $\mathcal{A}$ acting freely on the objects of $\mathcal{A},$ and $F:\mathcal{A}\rightarrow \mathcal{B}$ is a Galois functor. We…

Representation Theory · Mathematics 2021-06-01 Rasool Hafezi , Elham Mahdavi

Let $\mathcal C$ be the category of finite graphs. Lov\`{a}sz shows that the semi-ring of isomorphism classes of $\mathcal C$ (with coproduct as sum, and product as multiplication) is embedded into the direct product of the semi-ring of…

Category Theory · Mathematics 2022-07-14 Shoma Fujino , Makoto Matsumoto

Let E be a locally solid vector lattice. In this paper, we consider two particular vector subspaces of the space of all order bounded operators on E. With the aid of two appropriate topologies, we show that under some conditions, they…

Functional Analysis · Mathematics 2016-11-07 Omid Zabeti

Given a singular connection $D$ on a vector bundle $E$ over an irreducible smooth projective curve $X$, defined over an algebraically closed field, we show that there is a unique maximal subsheaf of $E$ on which $D$ induces a nonsingular…

Algebraic Geometry · Mathematics 2023-01-11 Indranil Biswas , Francois-Xavier Machu , A. J. Parameswaran

The paper presents a new set of axioms of digital topology, which are easily understandable for application developers. They define a class of locally finite (LF) topological spaces. An important property of LF spaces satisfying the axioms…

Geometric Topology · Mathematics 2015-03-17 Vladimir Kovalevsky

While there is a well developed theory of locally solid topologies, many important convergences in vector lattice theory are not topological. Yet they share many properties with locally solid topologies. Building upon the theory of…

Functional Analysis · Mathematics 2024-04-25 E. Bilokopytov , J. Conradie , V. G. Troitsky , J. H. van der Walt

We construct a localic groupoid $\mathbb{G}_{KH}$ such that for any locale $X$ the category of compact Hausdorff locales in the topos of sheaves over $X$ is equivalent to a category whose objects are principal $\mathbb{G}_{KH}$-bundles over…

Category Theory · Mathematics 2023-10-13 Simon Henry , Christopher Townsend

We introduce a general framework, based on \'etale topological categories, for studying discrete restriction semigroups and their algebras. Generalizing Paterson's universal groupoid of an inverse semigroup, we define the universal category…

Rings and Algebras · Mathematics 2025-11-07 Ganna Kudryavtseva

Locally stable maps $S^3\to\mathbb{R}^4$ are classified up to homotopy through locally stable maps. The equivalence class of a map $f$ is determined by three invariants: the isotopy class $\sigma(f)$ of its framed singularity link, the…

Differential Geometry · Mathematics 2013-12-16 Ole Andersson