English
Related papers

Related papers: Priestley-type dualities for partially ordered str…

200 papers

This is the last 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 ends our initial investigation of duality for CRDSA through bi-topological…

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

In this paper, we introduce a novel generalization of the classical property of algebras known as "being alternative," which we term "partially alternative." This new concept broadens the scope of alternative algebras, offering a fresh…

Rings and Algebras · Mathematics 2025-05-14 Tianran Hua , Ekaterina Napedenina , Marina Tvalavadze

Our main result is that any topological algebra based on a Boolean space is the extended Stone dual space of a certain associated Boolean algebra with additional operations. A particular case of this result is that the profinite completion…

Logic · Mathematics 2013-09-13 Mai Gehrke

We prove three new versions of Stone Duality. The main version is the following: the category of Kolmogorov locally small spaces and bounded continuous mappings is equivalent to the category of spectral spaces with decent lumps and with…

General Topology · Mathematics 2021-09-28 Artur Piękosz

A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a…

Logic in Computer Science · Computer Science 2023-06-22 Mai Gehrke , Tomáš Jakl , Luca Reggio

In this paper we introduce the class of weak Heyting Brouwer algebras (WHB-algebras, for short). We extend the well known duality between distributive lattices and Priestley spaces, in order to exhibit a relational Priestley-like duality…

Logic · Mathematics 2023-12-19 Sergio Celani , Agustín Nagy , William Zuluaga Botero

The aim of the work is to construct new polynomial systems, which are solutions to certain functional equations which generalize the second-order differential equations satisfied by the so called classical orthogonal polynomial families of…

Classical Analysis and ODEs · Mathematics 2023-07-31 Edmundo J. Huertas , Alberto Lastra , Víctor Soto-Larrosa

We give an alternative, more geometric, proof of the well-known Joyal-Tierney Theorem in locale theory by utilizing Priestley duality for frames.

General Topology · Mathematics 2023-04-26 Guram Bezhanishvili , Luca Carai , Patrick Morandi

This paper studies three natural pre-orders of increasing generality on the set of all completely non-unitary partial isometries with equal defect indices. We show that the problem of determining when one partial isometry is less than…

Functional Analysis · Mathematics 2021-02-05 Stephan Ramon Garcia , Robert T. W. Martin , William T. Ross

Profinite algebras are the residually finite compact algebras; their underlying topological spaces are Stone spaces. We extend the theory of profinite algebras to a more general setting of Stone topological algebras. We introduce Stone…

Logic · Mathematics 2024-09-25 Jorge Almeida , Ondřej Klíma

We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of several existing categorical structures for differentiation,…

Category Theory · Mathematics 2024-09-10 Matteo Capucci , Geoffrey S. H. Cruttwell , Neil Ghani , Fabio Zanasi

Differential calculus on Euclidean spaces has many generalisations. In particular, on a set $X$, a diffeological structure is given by maps from open subsets of Euclidean spaces to $X$, a differential structure is given by maps from $X$ to…

Differential Geometry · Mathematics 2023-05-05 Augustin Batubenge , Yael Karshon , Jordan Watts

Stone duality generalizes to an equivalence between the categories $\mathsf{Stone}^{\mathsf{R}}$ of Stone spaces and closed relations and $\mathsf{BA}^\mathsf{S}$ of boolean algebras and subordination relations. Splitting equivalences in…

General Topology · Mathematics 2025-01-28 Marco Abbadini , Guram Bezhanishvili , Luca Carai

Properties of partial integrals such as real and complex-valued polynomial, multiple polynomial, exponential, and conditional for ordinary differential systems are studied. The possibilities of constructing first integrals and last…

Classical Analysis and ODEs · Mathematics 2018-09-20 V. N. Gorbuzov

We introduce a notion of Homological Projective Duality for smooth algebraic varieties in dual projective spaces, a homological extension of the classical projective duality. If algebraic varieties $X$ and $Y$ in dual projective spaces are…

Algebraic Geometry · Mathematics 2007-05-23 Alexander Kuznetsov

Guided by consideration of problems in 2 and 3 dimensional lattice model computation, we are led to define a number of new categories, and functors between these categories and the partition category, culminating in the introduction of two…

Mathematical Physics · Physics 2007-11-30 Marcos Alvarez , Paul P. Martin

In this paper, we introduce a class of hypercompositional structures called dualizable L-mosaics. We prove that their category is equivalent to that formed by ortholattices and we formulate an algebraic property characterizing…

Category Theory · Mathematics 2025-12-17 Nicolò Cangiotti , Alessandro Linzi , Enrico Talotti

In this note, we establish a duality result under the residue paring between certain two-dimensional adelic spaces, which are associated to a closed point on an arithmetic surface.

Algebraic Geometry · Mathematics 2015-10-29 Dongwen Liu

In order to generalize finite element methods to differential forms, Arnold, Falk, and Winther constructed two families of spaces of polynomial differential forms on a simplex $T$, the $\mathcal P_r\Lambda^k(T)$ spaces and the $\mathcal…

Numerical Analysis · Mathematics 2018-07-04 Yakov Berchenko-Kogan

There are many examples of dualities between topological spaces and algebras in the literature. Particularly, many of those examples come from the algebraic counterpart of a logical system, e.g, boolean and heyting algebras, MV-algebras,…

Category Theory · Mathematics 2023-11-08 Mayk de Andrade , Hugo Mariano
‹ Prev 1 3 4 5 6 7 10 Next ›