1,057 research outputs found
Duality and canonical extensions for stably compact spaces
We construct a canonical extension for strong proximity lattices in order to
give an algebraic, point-free description of a finitary duality for stably
compact spaces. In this setting not only morphisms, but also objects may have
distinct pi- and sigma-extensions.Comment: 29 pages, 1 figur
Representation and duality of the untyped lambda-calculus in nominal lattice and topological semantics, with a proof of topological completeness
We give a semantics for the lambda-calculus based on a topological duality
theorem in nominal sets. A novel interpretation of lambda is given in terms of
adjoints, and lambda-terms are interpreted absolutely as sets (no valuation is
necessary)
Hochster duality in derived categories and point-free reconstruction of schemes
For a commutative ring , we exploit localization techniques and point-free
topology to give an explicit realization of both the Zariski frame of (the
frame of radical ideals in ) and its Hochster dual frame, as lattices in the
poset of localizing subcategories of the unbounded derived category .
This yields new conceptual proofs of the classical theorems of Hopkins-Neeman
and Thomason. Next we revisit and simplify Balmer's theory of spectra and
supports for tensor triangulated categories from the viewpoint of frames and
Hochster duality. Finally we exploit our results to show how a coherent scheme
can be reconstructed from the tensor triangulated structure
of its derived category of perfect complexes.Comment: v5:Minoir typos corrected the proof of tensor nilpotence is made
totally point-free and self-contained; some simplifications and expository
improvements; section on preliminaries shortened; 50pp. To appear in Trans.
AM
A non-commutative Priestley duality
We prove that the category of left-handed strongly distributive skew lattices
with zero and proper homomorphisms is dually equivalent to a category of
sheaves over local Priestley spaces. Our result thus provides a non-commutative
version of classical Priestley duality for distributive lattices and
generalizes the recent development of Stone duality for skew Boolean algebras.
From the point of view of skew lattices, Leech showed early on that any
strongly distributive skew lattice can be embedded in the skew lattice of
partial functions on some set with the operations being given by restriction
and so-called override. Our duality shows that there is a canonical choice for
this embedding.
Conversely, from the point of view of sheaves over Boolean spaces, our
results show that skew lattices correspond to Priestley orders on these spaces
and that skew lattice structures are naturally appropriate in any setting
involving sheaves over Priestley spaces.Comment: 20 page
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
We study representations of MV-algebras -- equivalently, unital
lattice-ordered abelian groups -- through the lens of Stone-Priestley duality,
using canonical extensions as an essential tool. Specifically, the theory of
canonical extensions implies that the (Stone-Priestley) dual spaces of
MV-algebras carry the structure of topological partial commutative ordered
semigroups. We use this structure to obtain two different decompositions of
such spaces, one indexed over the prime MV-spectrum, the other over the maximal
MV-spectrum. These decompositions yield sheaf representations of MV-algebras,
using a new and purely duality-theoretic result that relates certain sheaf
representations of distributive lattices to decompositions of their dual
spaces. Importantly, the proofs of the MV-algebraic representation theorems
that we obtain in this way are distinguished from the existing work on this
topic by the following features: (1) we use only basic algebraic facts about
MV-algebras; (2) we show that the two aforementioned sheaf representations are
special cases of a common result, with potential for generalizations; and (3)
we show that these results are strongly related to the structure of the
Stone-Priestley duals of MV-algebras. In addition, using our analysis of these
decompositions, we prove that MV-algebras with isomorphic underlying lattices
have homeomorphic maximal MV-spectra. This result is an MV-algebraic
generalization of a classical theorem by Kaplansky stating that two compact
Hausdorff spaces are homeomorphic if, and only if, the lattices of continuous
[0, 1]-valued functions on the spaces are isomorphic.Comment: 36 pages, 1 tabl
- …