English
Related papers

Related papers: Priestley perspective on pointfree topology

200 papers

More than two decades ago, combinatorial topology was shown to be useful for analyzing distributed fault-tolerant algorithms in shared memory systems and in message passing systems. In this work, we show that combinatorial topology can also…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-10-05 Armando Castañeda , Pierre Fraigniaud , Ami Paz , Sergio Rajsbaum , Matthieu Roy , Corentin Travers

This article develops a duality principle for a class of optimization problems in $\mathbb{R}^n$. The results are obtained based on standard tools of convex analysis and on a well known result of Toland for D.C. optimization. Global…

Optimization and Control · Mathematics 2019-04-02 Fabio Botelho

We consider a pure square spin ice, that is a square ice where only nearest neighbors are coupled. A gauge-free duality between the perpendicular and collinear structure leads to a natural description in terms of topological currents and…

Statistical Mechanics · Physics 2021-11-18 Cristiano Nisoli

We develop the basic model theory of local positive logic, a new logic that mixes positive logic (where negation is not allowed) and local logic (where models omit types of infinite distant pairs). We study several basic model theoretic…

Logic · Mathematics 2025-10-01 Arturo Rodriguez Fanlo , Ori Segel

We dualize a construction of Aguzzoli-Flaminio-Ugolini of a large class of MTL-algebras from ordered quadruples consisting of a Boolean algebra, a generalized MTL-algebra, and two maps parameterizing the connection between these pieces. Our…

Logic · Mathematics 2021-06-09 Wesley Fussner , Sara Ugolini

In this paper some applications of the methods and results of its first part and of the results of M. Stone, H. de Vries, P. Roeper are given. In particular: some generalizations of the Stone Duality Theorem are obtained; a completion…

General Topology · Mathematics 2009-08-10 Georgi Dimov

By dimensional reduction of a self dual p-form theory on some compact space, we determine the duality generators of the gauge theory in 4 dimensions. In this picture duality is seen as a consequence of the geometry of the compact space. We…

High Energy Physics - Theory · Physics 2009-10-30 D. S. Berman

The theory of finitary biframes as order-theoretical duals of bitopological spaces is explored. The category of finitary biframes is a coreflective subcategory of that of biframes. Some of the advantages of adopting finitary biframes as a…

Category Theory · Mathematics 2020-10-13 Anna Laura Suarez

We present a notion of precompactness, and study some of its properties, in the context of apartness spaces whose apartness structure is not necessarily induced by any uniform one. The presentation lies entirely with a Bishop-style…

Logic in Computer Science · Computer Science 2015-07-01 Douglas S Bridges

This article deals with plausible reasoning from incomplete knowledge about large-scale spatial properties. The availableinformation, consisting of a set of pointwise observations,is extrapolated to neighbour points. We make use of belief…

Artificial Intelligence · Computer Science 2013-01-14 Jerome Lang , Philippe Muller

A convexity space is a set X with a chosen family of subsets (called convex subsets) that is closed under arbitrary intersections and directed unions. There is a lot of interest in spaces that have both a convexity space and a topological…

Category Theory · Mathematics 2026-05-06 Toby Kenney

Persistence modules are a central algebraic object arising in topological data analysis. The notion of interleaving provides a natural way to measure distances between persistence modules. We consider various classes of persistence modules,…

Algebraic Topology · Mathematics 2019-12-12 Peter Bubenik , Tane Vergili

We study the topology of T-duality for pairs of U(1)-bundles and three-dimensional integral cohomology classes over orbispaces. In particular, our results apply to U(1)-spaces with finite isotropy. We generalize the theory developed in our…

Geometric Topology · Mathematics 2010-05-10 Ulrich Bunke , Thomas Schick

This is the second in a series of three notes on an investigation into core regular double Stone algebras, CRDSA, which are meant to be read in order. This note begins our investigation of duality for CRDSA through bi-topological spaces.…

Rings and Algebras · Mathematics 2018-09-25 Daniel J. Clouse

We introduce and study the notion of a locally proper map between topological spaces. We show that fundamental constructions of sheaf theory, more precisely proper base change, projection formula, and Verdier duality, can be extended from…

Algebraic Topology · Mathematics 2014-11-06 Olaf M. Schnürer , Wolfgang Soergel

This is an exposition of homotopical results on the geometric realization of semi-simplicial spaces. We then use these to derive basic foundational results about classifying spaces of topological categories, possibly without units. The…

Algebraic Topology · Mathematics 2019-08-21 Johannes Ebert , Oscar Randal-Williams

Topological data analysis can extract effective information from higher-dimensional data. Its mathematical basis is persistent homology. The persistent homology can calculate topological features at different spatiotemporal scales of the…

Algebraic Topology · Mathematics 2023-09-29 Dinghua Shi , Zhifeng Chen , Chuang Ma , Guanrong Chen

In this paper we consider topological spaces as generalised orders and characterise those spaces which satisfy a (suitably defined) topological distributive law. Furthermore, we show that the category of these spaces is dually equivalent to…

General Topology · Mathematics 2011-02-15 Dirk Hofmann

This survey describes some useful properties of the local homology of abstract simplicial complexes. Although the existing literature on local homology is somewhat dispersed, it is largely dedicated to the study of manifolds, submanifolds,…

We prove a categorical duality between a class of abstract algebras of partial functions and a class of (small) topological categories. The algebras are the isomorphs of collections of partial functions closed under the operations of…

Rings and Algebras · Mathematics 2021-09-28 Brett McLean