Related papers: Piggyback dualities revisited
Any refinement system (= functor) has a fully faithful representation in the refinement system of presheaves, by interpreting types as relative slice categories, and refinement types as presheaves over those categories. Motivated by an…
In this paper we develop a duality theory for all finite-dimensional near-vector spaces and introduce a notion of inner product tailored to the broad and natural class of strongly regular near-vector spaces. This generalized construction…
Bilattices provide an algebraic tool with which to model simultaneously knowledge and truth. They were introduced by Belnap in 1977 in a paper entitled \emph{How a computer should think}. Belnap argued that instead of using a logic with two…
Let $A=F[x,y]$ be the polynomial algebra on two variables $x,y$ over an algebraically closed field $F$ of characteristic zero. Under the Poisson bracket, $A$ is equipped with a natural Lie algebra structure. It is proven that the maximal…
Strong-weak duality invariance can only be defined for particular sectors of supersymmetric Yang-Mills theories. Nevertheless, for full non-Abelian non-supersymmetric theories, dual theories with inverted couplings, have been found. We show…
We prove a new duality theorem for the category of precontact algebras which implies the Stone Duality Theorem, its connected version obtained in arXiv:1508.02220v3, 1-44 (to appear in Topology Appl.), the recent duality theorems of…
Information algebras arise from the idea that information comes in pieces which can be aggregated or combined into new pieces, that information refers to questions and that from any piece of information, the part relevant to a given…
We characterise Lie groups with bi-invariant bargmannian, galilean or carrollian structures. Localising at the identity, we show that Lie algebras with ad-invariant bargmannian, carrollian or galilean structures are actually determined by…
The notion of a weak duality involution on a bicategory was recently introduced by Shulman in [arXiv:1606.05058]. We construct a weak duality involution on the fully dualisable part of $\text{Alg}$, the Morita bicategory of…
We show that for quasivarieties of p-algebras the properties of (i) having decidable first-order theory and (ii) having decidable first-order theory of the finite members, coincide. The only two quasivarieties with these properties are the…
Given a recollement of three proper dg algebras over a noetherian commutative ring, e.g. three algebras which are finitely generated over the base ring, which extends one step downwards, it is shown that there is a short exact sequence of…
Poisson-Lie T-duality/plurality was recently generalized to Jacobi-Lie T-plurality formulated in terms of Double Field Theory and based on Leibniz algebras given by structure coefficients $f_{ab}{}^{c},f_{c}{}^{ab},$ and $Z_a,Z^a$. We…
The present paper contributes to the development of the mathematical theory of epistemic updates using the tools of duality theory. Here we focus on Probabilistic Dynamic Epistemic Logic (PDEL). We dually characterize the product update…
The species of finite topological spaces admits two graded bimonoid structures, recently defined by F. Fauvet, L. Foissy, and the second author. In this article, we define a doubling of this species in two different ways. We build a…
Models with intractable likelihood functions arise in areas including network analysis and spatial statistics, especially those involving Gibbs random fields. Posterior parameter es timation in these settings is termed a doubly-intractable…
Double Lie algebroids were discovered by Kirill Mackenzie from the study of double Lie groupoids and were defined in terms of rather complicated conditions making use of duality theory for Lie algebroids and double vector bundles. In this…
All Bianchi bialgebras have been obtained. By introducing a non-degenerate adjoint invariant inner product over these bialgebras the associated Drinfeld doubles have been constructed, then by calculating the coupling matrices for these…
Density operators are one of the key ingredients of quantum theory. They can be constructed in two ways: via a convex sum of `doubled kets' (i.e. mixing), and by tracing out part of a `doubled' two-system ket (i.e. dilation). Both…
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…
The aim of this review is to present and analyze the probabilistic models of mathematical phylogenetics which have been intensively used in recent years in biology as the cornerstone of attempts to infer and reconstruct the ancestral…