Related papers: Topological Dualities for Modal Algebras
Orthogonality is a notion based on the duality between programs and their environments used to determine when they can be safely combined. For instance, it is a powerful tool to establish termination properties in classical formal systems.…
We review the notion of symplectic duality earlier introduced in the context of topological recursion. We show that the transformation of symplectic duality can be expressed as a composition of $x-y$ dualities in a broader context of log…
We prove a duality relation for the moduli of the family of curves connecting two sets and the family of surfaces separating the sets, in the setting of a complete metric space equipped with a doubling measure and supporting a Poincar\'e…
Topological algebras have properties that extend naturally to those of topological groups [8, 9], but is it the case that semi-direct products exist as in the category of groups? Firstly, we express concepts in categorical language that…
We construct a category equivalent to the category $\mathbf{Mon}$ of monoids and monoid homomorphisms, based on categories with strict factorization systems. This equivalence is then extended to the category $\mathbf{Mon_s}$ of unital…
In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the $\{\rightarrow,\wedge,\top\}$-fragment of intuitionistic logic is the…
Abelian categories provide a self-dual axiomatic context for establishing homomorphism theorems (such as the isomorphism theorems and homological diagram lemmas) for abelian groups, and more generally, modules. In this paper we describe a…
We review recent interactions between mathematical theory of two-dimensional topological order and operator algebras, particularly the Jones theory of subfactors. The role of representation theory in terms of tensor categories is…
We show that there exists a duality family of self-interacting massive scalar fields. The scalar field in a duality family are related by a duality transformation. Such a duality of scalar fields is a field version of the Newton-Hooke…
In this paper we develop a structure called Link Algebra, in which we present a Set with two binary operations and an axiom system developed from the study of graph theory and set/antiset theory, sowing main theorems and definitions. Once…
In three dimensions, a free, periodic scalar field is related by duality to an abelian gauge field. Here I explore aspects of this duality when both theories are quantized on a Riemann surface of genus g. At higher genus, duality involves…
Self-duality plays a very important role in many applications in field theories possessing topological solitons. In general, the self-duality equations are first order partial differential equations such that their solutions satisfy the…
There are several prominent duality results in pointfree topology. The Hofmann-Lawson duality establishes that the category of continuous frames is dually equivalent to the category of locally compact sober spaces. This restricts to a dual…
The category $\operatorname{STROP}$ of commutative semirings, whose morphisms are transmissions, is a full and reflective subcategory of the category $\operatorname{STROP}_m$ of supertropical monoids. Equivalence relations on supertropical…
Plonka sums consist of an algebraic construction similar, in some sense to direct limits, which allows to represent classes of algebras defined by means of regular identities (namely those equations where the same set of variables appears…
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 establish a topological duality for bounded lattices. The two main features of our duality are that it generalizes Stone duality for bounded distributive lattices, and that the morphisms on either side are not the standard ones. A…
In three dimensions, an abelian gauge field is related by duality to a free, periodic scalar field. Though usually considered on Euclidean space, this duality can be extended to a general three-manifold M, in which case topological features…
Motivated by applications in moduli theory, we introduce a flexible and powerful language for expressing lower bounds on relative dimension of morphisms of schemes, and more generally of algebraic stacks. We show that the theory is robust…
We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…