Related papers: Piggybacking over unbounded distributive lattices
We investigate a class of combinatory algebras, called ribbon combinatory algebras, in which we can interpret both the braided untyped linear lambda calculus and framed oriented tangles. Any reflexive object in a ribbon category gives rise…
Random-lattice fermions have been shown to be free of the doubling problem if there are no interactions or interactions of a non-gauge nature. However, gauge interactions impose stringent constraints as expressed by the Ward-Takahashi…
Our goal in this paper is to identify certain naturally occurring colimits of schemes and algebraic spaces. To do so, we use (and prove) some new Tannaka duality theorems for maps of algebraic spaces.
It is a fairly known fact that most of the algebras appearing in the theory of rings of differential operators, quantized algebras of different kinds (including many quantum groups), regular algebras in projective non-commutative geometry,…
The gauge theories underlying gauged supergravity and exceptional field theory are based on tensor hierarchies: generalizations of Yang-Mills theory utilizing algebraic structures that generalize Lie algebras and, as a consequence, require…
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 unified theory of augmented Lagrangians for nonconvex optimization problems that encompasses both duality theory and convergence analysis of primal-dual augmented Lagrangian methods in the infinite dimensional setting. Our goal…
In this note we generalize the construction, due to Ghilardi, of the free Heyting algebra generated by a finite distributive lattice, to the case of arbitrary distributive lattices. Categorically, this provides an explicit construction of a…
In this paper, we study logics of bounded distributive residuated lattices with modal operators considering $\Box$ and $\Diamond$ in a noncommutative setting. We introduce relational semantics for such substructural modal logics. We prove…
This note gives a unifying characterization and exposition of strongly irreducible elements and their duals in lattices. The interest in the study of strong irreducibility stems from commutative ring theory, while the dual concept of strong…
Constructive dualities have been recently proposed for some lattice based algebras and a related project has been outlined by Holliday and Bezhanishvili, aiming at obtaining "choice-free spatial dualities for other classes of algebras…
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…
In this note we show, roughly speaking, that if $\mathcal{B}$ is a Boolean algebra included in the natural way in the collection $\mathcal{D}/_\sim$ of all equivalence classes of natural density sets of the natural numbers, modulo null…
The occurrence and the distribution of patterns of trees associated to natural numbers are investigated. Bounds from above and below are proven for certain natural quantities.
In this paper we study the class of modules with fusion and implication based over distributive lattices, or FIDL-modules, for short. We introduce the concepts of FIDL-subalgebra and FIDL-congruence as well as the notions of simple and…
We introduce and study completely-extendable conformal intertwining algebras. Based on results obtained in other papers, various examples are given. Duals of these algebras are constructed and nondegenerate such algebras are defined. We…
A method for constructing distributions on the non negative integers as discrete analogue of continuous distributions on the non negative real is presented. A justification of the definition of discrete self decomposable laws is provided.…
We study possibilities for algebraic closures, differences between definable and algebraic closures in first-order structures, and variations of these closures with respect to the bounds of cardinalities of definable sets and given sets of…
We study the generalization of S-duality to non-commutative gauge theories. For rank one theories, we obtain the leading terms of the dual theory by Legendre transforming the Lagrangian of the non-commutative theory expressed in terms of a…
We point out that double distributions need not vanish at their boundary. Boundary terms do not change the ambiguity inherent in defining double distributions; instead, boundary conditions must be satisfied in order to switch between…