English
Related papers

Related papers: Duality for distributive and implicative semi-latt…

200 papers

In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in…

Logic · Mathematics 2018-04-20 Ramon Jansana , Hernan Javier San Martin

For an arbitrary partially ordered set $P$ its {\em dual} $P^*$ is built as the collection of all monotone mappings $P\to\2$ where $\2=\{0,1\}$ with $0<1$. The set of mappings $P^*$ is proved to be a complete lattice with respect to the…

Category Theory · Mathematics 2007-05-23 Roman R. Zapatrin

The main source of inspiration for the present paper is the work of R. Rosebrugh and R.J. Wood on constructive complete distributive lattices where the authors employ elegantly the concepts of adjunction and module in their study of ordered…

Category Theory · Mathematics 2010-09-21 Dirk Hofmann

Macaulay Duality, between quotients of a polynomial ring over a field, annihilated by powers of the variables, and finitely generated submodules of the ring's graded dual, is generalized over any Noetherian ring, and used to provide…

Algebraic Geometry · Mathematics 2023-07-31 Steven L. Kleiman , Jan O. Kleppe

In [{\it On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207], Celani and Jansana give an explicit description of the free implicative semilattice extension of a Hilbert…

Logic · Mathematics 2018-07-09 José L. Castiglioni , Hernán J. San Martín

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…

Logic · Mathematics 2024-04-03 Chrysafis Hartonas

This note reformulates certain classical combinatorial duality theorems in the context of order lattices. For source-target networks, we generalize bottleneck path-cut and flow-cut duality results to edges with capacities in a distributive…

Optimization and Control · Mathematics 2024-10-02 Robert Ghrist , Julian Gould , Miguel Lopez

Pseudo-effect algebras are partial algebraic structures, that were introduced as a non-commutative generalization of effect algebras. In the present paper, lattice ordered pseudo-effect algebras are considered as possible algebraic…

Rings and Algebras · Mathematics 2010-07-05 David J. Foulis , Sylvia Pulmannova , Elena Vincekova

Motivated by the duality theory between Hermitian symmetric spaces of noncompact and compact types, we introduce and examine the concept of K\"ahler duality between domains of $\mathbb C^n$.

Differential Geometry · Mathematics 2024-09-23 Andrea Loi , Roberto Mossa , Fabio Zuddas

Applying a general categorical construction for the extension of dualities, we present a new proof of the Fedorchuk duality between the category of compact Hausdorff spaces with their quasi-open mappings and the category of complete normal…

General Topology · Mathematics 2019-06-14 G. Dimov , E. Ivanova-Dimova , W. Tholen

Our main goal is to develop a representation for finite distributive nearlattices through certain ordered structures. This representation generalizes the well-known representation given by Birkhoff for finite distributive lattices through…

Rings and Algebras · Mathematics 2021-06-03 Luciano J. González , Ismael Calomino

In this paper we take some classical ideas from commutative algebra, mostly ideas involving duality, and apply them in algebraic topology. To accomplish this we interpret properties of ordinary commutative rings in such a way that they can…

Algebraic Topology · Mathematics 2007-05-23 W. G. Dwyer , J. P. C. Greenlees , S. Iyengar

We revisit the problem of Stone duality for lattices with various quasioperators, first studied in [14], presenting a fresh duality result. The new result is an improvement over that of [14] in two important respects. First, the…

Logic · Mathematics 2024-12-22 Chrysafis Hartonas

In this paper we investigate the fragment of intuitionistic logic which only uses conjunction (meet) and implication, using finite duality for distributive lattices and universal models. We give a description of the finitely generated…

Logic · Mathematics 2015-05-15 Nick Bezhanishvili , Dion Coumans , Samuel J. van Gool , Dick de Jongh

The term Stone-type duality often refers to a dual equivalence between a category of lattices or other partially ordered structures on one side and a category of topological structures on the other. This paper is part of a larger endeavour…

Category Theory · Mathematics 2020-09-07 Dirk Hofmann , Pedro Nora

This is a survey on selected developments in the theory of natural dualities where the author had the opportunity to make with his foreign colleagues several breakthroughs and move the theory forward. It is aimed as author's reflection on…

Category Theory · Mathematics 2020-01-01 Miroslav Haviar

D.Happel and L.Unger defined a partial order on the set of basic tilting modules. We study the poset of basic pre-projective tilting modules over path algebra of infinite type. We give an equivalent condition for that this poset is a…

Rings and Algebras · Mathematics 2013-08-01 Ryoichi Kase

We establish a super duality as an equivalence between Whittaker module categories over a pair of classical Lie algebra and Lie superalgebra in the infinite-rank limit. Building on this result and utilizing the Losev-Shu-Xiao decomposition,…

Representation Theory · Mathematics 2026-01-08 Shun-Jen Cheng , Weiqiang Wang

In this work, the dual flatness, which is connected with Statistics and Information geometry, of general $(\alpha,\beta)$-metrics (a new class of Finsler metrics) is studied. A nice characterization for such metrics to be dually flat under…

Differential Geometry · Mathematics 2015-02-05 Changtao Yu

We develop the theory of distributive inverse semigroups as the analogue of distributive lattices without top element and prove that they are in a duality with those etale groupoids having a spectral space of identities, where our spectral…

Category Theory · Mathematics 2013-02-14 Mark V Lawson , Daniel H Lenz