Related papers: Duality for Normal Lattice Expansions and Sorted, …
We first present a Priestley-style dualitiy for the classes of algebras that are the algebraic counterpart of some congruential, finitary and filter-distributive logic with theorems. Then we analyze which properties of the dual spaces…
The two-phase horizontally periodic quasistationary Stokes flow in $\mathbb{R}^2$, describing the motion of two immiscible fluids with equal viscosities that are separated by a sharp interface, which is parameterized as the graph of a…
Lattice field theories with complex actions are not easily studied using conventional analytic or simulation methods. However, a large class of these models are invariant under CT, where C is charge conjugation and T is time reversal,…
The ordering relation of a bounded distributive lattice L is a (distributive) (0, 1)-sublattice of L \times L. This construction gives rise to a functor \Phi from the category of bounded distributive lattices to itself. We examine the…
We develop a methodology for closing duality gap and guaranteeing strong duality in infinite convex optimization. Specifically, we examine two new Lagrangian-type dual formulations involving infinitely many dual variables and infinite sums…
We introduce and study bisimulations for coalgebras on Stone spaces [14]. Our notion of bisimulation is sound and complete for behavioural equivalence, and generalizes Vietoris bisimulations [4]. The main result of our paper is that…
We establish a consistency result by comparing two independent notions of generalised solutions to a large class of linear hyperbolic first order PDE systems with constant coefficients, showing that they eventually coincide. The first is…
This article provides an expository account of the celebrated duality theorem of Bavard and three its strengthenings. The Bavard duality theorem connects scl (stable commutator length) and quasimorphisms on a group. Calegari extended the…
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,…
G\"odel modal logics can be seen as extenions of intutionistic modal logics with the prelinearity axiom. In this paper we focus on the algebraic and relational semantics for G\"odel modal logics that leverages on the duality between finite…
In this survey article, we recall some facts about split Kac-Moody groups as defined by J. Tits, describe their main properties and then propose an analogue of Borel-Tits theory for a non-split version of them. The main result is a Galois…
In natural duality theory, the piggybacking technique is a valuable tool for constructing dualities. As originally devised by Davey and Werner, and extended by Davey and Priestley, it can be applied to finitely generated quasivarieties of…
The intrinsic connection between lattice theory and topology is fairly well established, For instance, the collection of open subsets of a topological subspace always forms a distributive lattice. Persistent homology has been one of the…
The aim of this article is to study certain categorical-algebraic frameworks for basic homological algebra, introduced in arXiv:2404.15896, with the aim of better understanding the differences between them. We focus on homological…
We continue our studies on semilattice ordered algebras. This time we accept constants in the type of algebras. We investigate identities satisfied by such algebras and describe the free objects in varieties of semilattice ordered algebras…
We study boundary regularity for the inhomogeneous Dirichlet problem for $2s$-stable operators in generalized H\"older spaces. Moreover, we provide explicit counterexamples that showcase the sharpness of our results. Our approach directly…
We introduce a novel integrability-preserving discretization for a broad class of differential equations with variable coefficients, encompassing both linear and nonlinear cases. The construction is achieved via a categorical approach that…
This paper focuses on natural dualities for varieties of bilattice-based algebras.Such varieties have been widely studied as semantic models in situations where information is incomplete or inconsistent. The most popular tool for studying…
Duality symmetries of supergravity theories are powerful tools to restrict the number of possible actions, to link different dimensions and number of supersymmetries and might help to control quantisation. (Hodge-Dirac-)Dualisation of gauge…
Let $M$ be a T-motive. We introduce the notion of duality for $M$. Main results of the paper (we consider uniformizable $M$ over $F_q[T]$ of rank $r$, dimension $n$, whose nilpotent operator $N$ is 0): 1. Algebraic duality implies analytic…