English
Related papers

Related papers: Remarks on Hyperspaces for Priestley Spaces

200 papers

We introduce the notion of a "graded topological space": a topological space endowed with a sheaf of abelian groups which we think of as a sheaf of gradings. Any object living on a graded topological space will be graded by this sheaf of…

Algebraic Geometry · Mathematics 2020-07-20 Clemens Koppensteiner

In this talk I shall try to give an elementary introduction to certain areas of mathematical physics where the idea of moduli space is used to help solve problems or to further our understanding. In the wide area of gauge theory, I shall…

High Energy Physics - Theory · Physics 2007-05-23 ST Tsou

We provide base change theorems, projection formulae and Verdier duality for both cohomology and homology in the context of finite topological spaces

Algebraic Topology · Mathematics 2021-02-09 Carmona Sánchez , V. , Maestro Pérez , C. , Sancho de Salas , F. , Torres Sancho , J. F

This paper presents a bimodal logic for reasoning about knowledge during knowledge acquisition. One of the modalities represents (effort during) non-deterministic time and the other represents knowledge. The semantics of this logic are…

Logic in Computer Science · Computer Science 2007-05-23 Konstantinos Georgatos

Stone duality is an indispensable tool for the study of compact, zero-dimensional, Hausdorff spaces. In the case of general compact Hausdorff spaces one can get quite a bit of mileage by considering the `Wallman duality' between compact…

Logic · Mathematics 2026-03-12 Ilijas Farah

In the genus one case, we make explicit some constructions of Veech on flat surfaces and generalize some geometric results of Thurston about moduli spaces of flat spheres as well as some equivalent ones but of an analytico-cohomological…

Algebraic Geometry · Mathematics 2016-08-02 Selim Ghazouani , Luc Pirio

In this article we will focus our attention on the variety of distributive bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and involutive bisemilattices. After extending Balbes' representation theorem to bounded,…

Logic · Mathematics 2018-03-20 Antonio Ledda

The classical Stone duality associates to each Boolean algebra a topological space consisting of ultrafilters. Lawson's generalisation constructs a dual equivalence of categories of Boolean inverse $\land$-semigroups and Hausdorff ample…

Rings and Algebras · Mathematics 2025-10-09 Roozbeh Hazrat , Zachary Mesyan

We establish a local model for the moduli space of holomorphic symplectic structures with logarithmic poles, near the locus of structures whose polar divisor is normal crossings. In contrast to the case without poles, the moduli space is…

Algebraic Geometry · Mathematics 2021-07-16 Mykola Matviichuk , Brent Pym , Travis Schedler

Ordered locally convex spaces is an important classes of spaces in the theory of ordered topological vector spaces just as locally convex spaces in the theory of topological vector spaces. Some special classes of ordered locally convex…

Functional Analysis · Mathematics 2019-05-15 Liang Hong

Many moduli spaces are constructed as quotients of group actions; this paper surveys the classical theory, as well as recent progress and applications. We review geometric invariant theory for reductive groups and how it is used to…

Algebraic Geometry · Mathematics 2023-03-01 Victoria Hoskins

Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness and completeness to a categorical equivalence,…

Logic in Computer Science · Computer Science 2023-06-22 Simon Docherty , David Pym

We introduce the notion of an orthocomplemented subspace of a Hilbert space H, that is, a pair of orthogonal closed subspaces of H, as a two-dimensional counterpart to the one-dimensional notion of a closed subspace of H. Orthocomplemented…

Quantum Physics · Physics 2025-08-25 Iosif Petrakis

In this paper, we consider diffeological spaces as stacks over the site of smooth manifolds, as well as the "underlying" diffeological space of any stack. More precisely, we consider diffeological spaces as so-called concrete sheaves and…

Differential Geometry · Mathematics 2023-03-08 Jordan Watts , Seth Wolbert

In this paper, we deal with the problem of putting together modal worlds that operate in different logic systems. When evaluating a modal sentence $\Box \varphi$, we argue that it is not sufficient to inspect the truth of $\varphi$ in…

Logic · Mathematics 2022-03-02 Alfredo Roque Freire , Manuel A. Martins

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may…

History and Philosophy of Physics · Physics 2023-11-08 Xerxes D. Arsiwalla , Hatem Elshatlawy , Dean Rickles

This article fits in the area of research that investigates the application of topological duality methods to problems that appear in theoretical computer science. One of the eventual goals of this approach is to derive results in…

Logic in Computer Science · Computer Science 2022-01-05 Mehdi Zaïdi

We prove a number of dualities between posets and (pseudo)bases of open sets in locally compact Hausdorff spaces. In particular, we show that (1) Relatively compact basic sublattices are finitely axiomatizable. (2) Relatively compact basic…

General Topology · Mathematics 2019-11-19 Tristan Bice , Charles Starling

We establish a relation, conjectured recently by E. Witten, between the hypermultiplet moduli space in compactifications of the heterotic string on an A-D-E singularities, and the moduli spaces of three dimensional pure gauge theories with…

High Energy Physics - Theory · Physics 2009-10-31 Moshe Rozali

One of the main advantages of Prolog is its potential for the implicit exploitation of parallelism and, as a high-level language, Prolog is also often used as a means to explicitly control concurrent tasks. Tabling is a powerful…

Programming Languages · Computer Science 2018-06-04 Miguel Areias , Ricardo Rocha
‹ Prev 1 4 5 6 7 8 10 Next ›