English
Related papers

Related papers: Bounded distributive lattices with strict implicat…

200 papers

We introduce the notion of weak Lie 2-bialgebra. Roughly, a weak Lie 2-bialgebra is a pair of compatible 2-term $L_\infty$-algebra structures on a vector space and its dual. The compatibility condition is described in terms of the big…

Mathematical Physics · Physics 2013-03-26 Zhuo Chen , Mathieu Stienon , Ping Xu

We provide a new perspective on extended Priestley duality for a large class of distributive lattices equipped with binary double quasioperators. Under this approach, non-lattice binary operations are each presented as a pair of partial…

Logic · Mathematics 2023-07-24 Wesley Fussner , Mai Gehrke , Sam van Gool , Vincenzo Marra

In this paper, we will study Heyting algebras endowed with tense negative operators, which we call tense H-algebras and we proof that these algebras are the algebraic semantics of the Intuitionistic Propositional Logic with Galois…

Logic · Mathematics 2023-01-02 F. Almiñana , G. Pelaitay , W. Zuluaga

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…

Logic · Mathematics 2026-04-03 Rodrigo Nicolau Almeida

We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak positive (modal) logic. This duality builds on the Hofmann, Mislove and Stralka…

Logic · Mathematics 2023-12-01 Nick Bezhanishvili , Anna Dmitrieva , Jim de Groot , Tommaso Moraschini

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…

Logic in Computer Science · Computer Science 2024-05-17 Masahito Hasegawa , Serge Lechenne

In braided tensor categories we show the Maschke's theorem and give the necessary and sufficient conditions for double cross biproducts and crossbiproducts and biproducts to be bialgebras. We obtain the factorization theorem for braided…

Rings and Algebras · Mathematics 2007-11-06 Shouchuan Zhang

An artinian graded algebra, $A$, is said to have the Weak Lefschetz property (WLP) if multiplication by a general linear form has maximal rank in every degree. A vast quantity of work has been done studying and applying this property,…

Commutative Algebra · Mathematics 2011-10-03 Juan Migliore , Uwe Nagel

In representation theory, the double centraliser property is an important property for a module (bimodule). It plays a fundamental role in many theories. In this paper, we extend this property to complexes in derived categories of finite…

Representation Theory · Mathematics 2021-09-23 Jin Zhang

Weak (Hopf) bialgebras are described as (Hopf) bimonoids in appropriate duoidal (also known as 2-monoidal) categories. This interpretation is used to define a category wba of weak bialgebras over a given field. As an application, the "free…

Quantum Algebra · Mathematics 2013-10-22 Gabriella Böhm , José Gómez-Torrecillas , Esperanza López-Centella

This paper fills a gap in the literature on natural duality theory. It concerns dual representations of categories of distributive-lattice-based algebras in which the lattice reducts are not assumed to have bounds. The development of theory…

Rings and Algebras · Mathematics 2020-02-18 Leonardo M. Cabrer , Hilary A. Priestley

We develop dualities for complete perfect distributive quasi relation algebras and complete perfect distributive involutive FL-algebras. The duals are partially ordered frames with additional structure. These frames are analogous to the…

Logic in Computer Science · Computer Science 2026-01-30 Andrew Craig , Peter Jipsen , Claudette Robinson

In this paper we introduce the notion of $\Delta$-weak character amenable Banach algebras and investigate $\Delta$-weak character amenability of certain Banach algebras such as projective tensor product $A\widehat{\otimes}B$, Lau product…

Functional Analysis · Mathematics 2015-10-20 Hamid Sadeghi

In this work, we have introduced and studied some basic geometric properties of extended weakly symmetric spaces. After classification of this structure we have also established the existence of such a space by presenting a non-trivial…

Differential Geometry · Mathematics 2022-06-03 Kanak Kanti Baishya , Sanjib Kr Jana , Manoj Ray Bakshi , Malay Pain , Haradhan Kundu

In this paper we present the Sweedler cohomology for a cocommutative weak Hopf algebra H. We show that the second cohomology group classifies completely the weak crossed products, having a common preunit, of H with a commutative left…

Quantum Algebra · Mathematics 2013-02-28 J. N. Alonso Alvarez , J. M. Fernandez Vilaboa , R. Gonzalez Rodriguez

We study a class of formulas generalizing the weak law of the excluded middle, and provide a characterization of these formulas in terms of Kripke frames and Brouwer algebras. We use these formulas to separate logics corresponding to…

Logic · Mathematics 2011-11-09 Andrea Sorbi , Sebastiaan A. Terwijn

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…

General Topology · Mathematics 2024-04-23 G. Bezhanishvili , S. Melzer

In this article, we continue the study of tense symmetric Heyting algebras (or TSH-algebras). These algebras constitute a generalization of tense algebras. In particular, we describe a discrete duality for TSHalgebras bearing in mind the…

Logic · Mathematics 2012-03-27 Aldo V. Figallo , Gustavo Pelaitay , Claudia Sanza

Let $(A,\Delta)$ be a weak multiplier Hopf algebra. It is a pair of a non-degenerate algebra $A$, with or without identity, and a coproduct $\Delta$ on $A$, satisfying certain properties. The main difference with multiplier Hopf algebras is…

Rings and Algebras · Mathematics 2017-09-29 Alfons Van Daele , Shuanhong Wang

We develop the bialgebra theory for two classes of non-associative algebras: nearly associative algebras and $LR$-algebras. In particular, building on recent studies that reveal connections between these algebraic structures, we establish…

Rings and Algebras · Mathematics 2025-02-25 Elisabete Barreiro , Saïd Benayadi , Carla Rizzo