English
Related papers

Related papers: A view of canonical extension

200 papers

This paper investigates the theory of lattices, focusing on extending lattices relative to abstract classes, modular lattices, and torsion lattices. Definitions of type-1 and type-2 extending lattices are provided, along with their weakly…

Rings and Algebras · Mathematics 2025-09-30 Jesus Adrian Celis-González , Hugo Alberto Rincón-Mejía

This book is a course in Stone-Priestley duality theory, with applications to logic and theoretical computer science. Our target audience are graduate students and researchers in mathematics and computer science. Our aim is to get in a…

Logic · Mathematics 2023-04-06 Mai Gehrke , Sam van Gool

We study varieties generated by semi-primal lattice-expansions by means of category theory. We provide a new proof of the Keimel-Werner topological duality for such varieties and, using similar methods, establish its discrete version. We…

Logic · Mathematics 2023-08-29 Alexander Kurz , Wolfgang Poiger , Bruno Teheux

The aim of this paper is to extend the structure theory for infinitely generated modules over tame hereditary algebras to the more general case of modules over concealed canonical algebras. Using tilting, we may assume that we deal with…

Representation Theory · Mathematics 2007-05-23 Idun Reiten , Claus Michael Ringel

Extensions of Stone-type dualities have a long history in algebraic logic and have also been instrumental in proving results in algebraic language theory. We show how to extend abstract categorical dualities via monoidal adjunctions,…

Formal Languages and Automata Theory · Computer Science 2025-10-15 Fabian Lenke , Henning Urbat , Stefan Milius

In this text, we wish to provide the reader with a short guide to recent works on the theory of dilatations in Commutative Algebra and Algebraic Geometry. These works fall naturally into two categories: one emphasises foundational and…

Algebraic Geometry · Mathematics 2024-07-31 Adrien Dubouloz , Arnaud Mayeux , João Pedro dos Santos

We characterize Priestley spaces of algebraic, arithmetic, coherent, and Stone frames. As a corollary, we derive the well-known dual equivalences in pointfree topology involving various categories of algebraic frames.

General Topology · Mathematics 2025-08-05 G. Bezhanishvili , S. Melzer

We introduce a general framework for generating dualities between categories of partial orders and categories of ordered Stone spaces; we recover in particular the classical Priestley duality for distributive lattices and establish several…

Category Theory · Mathematics 2012-03-14 Olivia Caramello

The aim of the present paper is to study isomorphisms of canonical ${\cal E}$-lattices. Some interesting results are obtained in the particular case of isomorphisms between two subgroup ${\cal E}$-lattices.

Group Theory · Mathematics 2018-11-13 Marius Tărnăuceanu

In this article, we study Dorroh extensions of algebras and Dorroh extensions of coalgebras. Their structures are described. Some properties of these extensions are presented. We also introduce the finite duals of algebras and modules which…

Rings and Algebras · Mathematics 2020-07-07 Lan You , Hui-Xiang Chen

A lattice $\Lambda$ is said to be an extension of a sublattice $L$ of smaller rank if $L$ is equal to the intersection of $\Lambda$ with the subspace spanned by $L$. The goal of this paper is to initiate a systematic study of the geometry…

Metric Geometry · Mathematics 2023-12-19 Maxwell Forst , Lenny Fukshansky

Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully benefit from this theory, we believe that it can be enriched…

Logic in Computer Science · Computer Science 2012-01-23 Pascal Hitzler , Markus Krötzsch , Guo-Qiang Zhang

We give characterizations of unital uniform topological algebras and saturated locally multiplicatively convex algebras by means of multiplicative linear functionals. Some automatic continuity theorems in advertibly complete uniform…

Functional Analysis · Mathematics 2014-01-03 M. El Azhari

We consider all compatible topologies of an arbitrary finite-dimensional vector space over a non-trivial valuation field whose metric completion is a locally compact space. We construct the canonical lattice isomorphism between the lattice…

General Topology · Mathematics 2023-12-01 Takanobu Aoyama

In this paper, we will show how the Caratheodory Extension process is intimately related to the metric completion process. In particular, it will be shown how one is able to construct a lattice on the completion and to obtain an isomorphism…

Logic · Mathematics 2009-07-06 Jun Tanaka , Peter McLoughlin

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

A fundamental result from Boolean modal logic states that a first-order definable class of Kripke frames defines a logic that is validated by all of its canonical frames. We generalise this to the level of non-distributive logics that have…

Logic · Mathematics 2020-02-11 Robert Goldblatt

We introduce the notion of \pi-extension of the semigroup \mathbb{Z}_+ and study the extensions of the Toeplitz algebras by isometric operators. We show that when the action of the Toeplitz algebra is irreducible all such extensions…

Operator Algebras · Mathematics 2013-02-05 T. A. Grigoryan , E. V. Lipacheva , V. H. Tepoyan

We consider some special type extensions of an arbitrary Lie algebra ${\cal G}$, arising in the theory of Lie-Poisson structures over $({\cal G}^*)^n$, where ${\cal G}^*$ is the dual of ${\cal G}$. We show that some classes of these…

Dynamical Systems · Mathematics 2007-05-23 A. B. Yanovski

Canonical functions are a powerful concept with numerous applications in the study of groups, monoids, and clones on countable structures with Ramsey-type properties. In this short note, we present a proof of the existence of canonical…

Combinatorics · Mathematics 2020-07-28 Manuel Bodirsky , Michael Pinsker