Showing 1–8 of 8 results for author: Walters-Wayland, J

On Isbell's Density Theorem for bitopological pointfree spaces I

Authors: M. Andrew Moshier, Imanol Mozo Carollo, Joanne Walters-Wayland

Abstract: This paper addresses dense sub-objects for point-free bitopology in terms of $d$-frames and provides several examples. We characterize extremal epimorphisms in $d$-frames and show that a smallest dense one always exists, establishing a proper analogue of Isbell's Density Theorem for $d$-frames. Further we explore certain questions about the functoriality of assigning the smallest dense sub-object… ▽ More This paper addresses dense sub-objects for point-free bitopology in terms of $d$-frames and provides several examples. We characterize extremal epimorphisms in $d$-frames and show that a smallest dense one always exists, establishing a proper analogue of Isbell's Density Theorem for $d$-frames. Further we explore certain questions about the functoriality of assigning the smallest dense sub-object to each pointfree bitopological space. △ Less

Submitted 27 January, 2025; originally announced January 2025.

Comments: 20 pages

MSC Class: 06D22; 54B05

Journal ref: Topology and its applications, Volume 273, 15 March 2020, 106962

The Funayama envelope as the $T_D$-hull of a frame

Authors: Guram Bezhanishvili, Ranjitha Raviprakash, Anna Laura Suarez, Joanne Walters-Wayland

Abstract: We introduce proximity morphisms between MT-algebras and show that the resulting category is equivalent to the category of frames. This is done by utilizing the Funayama envelope of a frame, which is viewed as the $T_D$-hull. Our results have some spatial ramifications, including a generalization of the $T_D$-duality of Banaschewski and Pultr. We introduce proximity morphisms between MT-algebras and show that the resulting category is equivalent to the category of frames. This is done by utilizing the Funayama envelope of a frame, which is viewed as the $T_D$-hull. Our results have some spatial ramifications, including a generalization of the $T_D$-duality of Banaschewski and Pultr. △ Less

Submitted 23 January, 2025; originally announced January 2025.

On Isbell's Density Theorem for bitopological pointfree spaces II

Authors: M. Andrew Moshier, Imanol Mozo Carollo, Joanne Walters-Wayland

Abstract: With the aim of studying subspaces in pointfree bitopology, we characterize extremal epimorphism in biframes and show that a smallest dense one always exists, providing an analogue of Isbell's Density Theorem. Further we study the functoriality of assigning to each biframe its lattice of subbilocales and its smallest dense subbilocale. With the aim of studying subspaces in pointfree bitopology, we characterize extremal epimorphism in biframes and show that a smallest dense one always exists, providing an analogue of Isbell's Density Theorem. Further we study the functoriality of assigning to each biframe its lattice of subbilocales and its smallest dense subbilocale. △ Less

Submitted 27 September, 2024; originally announced September 2024.

MSC Class: 06D22; 54B05; 54E55

Degrees of join-distributivity via Bruns-Lakser towers

Authors: G. Bezhanishvili, F. Dashiell Jr, M. A. Moshier, J. Walters-Wayland

Abstract: We utilize the Bruns-Lakser completion to introduce Bruns-Lakser towers of a meet-semilattice. This machinery enables us to develop various hierarchies inside the class of bounded distributive lattices, which measure $κ$-degrees of distributivity of bounded distributive lattices and their Dedekind-MacNeille completions. We also use Priestley duality to obtain a dual characterization of the resulti… ▽ More We utilize the Bruns-Lakser completion to introduce Bruns-Lakser towers of a meet-semilattice. This machinery enables us to develop various hierarchies inside the class of bounded distributive lattices, which measure $κ$-degrees of distributivity of bounded distributive lattices and their Dedekind-MacNeille completions. We also use Priestley duality to obtain a dual characterization of the resulting hierarchies. Among other things, this yields a natural generalization of Esakia's representation of Heyting lattices to proHeyting lattices. △ Less

Submitted 25 March, 2025; v1 submitted 7 September, 2024; originally announced September 2024.

MSC Class: 18F70; 06D22; 06D20; 06D05; 06B23; 06A12; 06E15

Dedekind-MacNeille and related completions: subfitness, regularity, and Booleanness

Authors: G. Bezhanishvili, F. Dashiell Jr, M. A. Moshier, J. Walters-Wayland

Abstract: Completions play an important rôle for studying structure by supplying elements that in some sense ``ought to be." Among these, the Dedekind-MacNeille completion is of particular importance. In 1968 Janowitz provided necessary and sufficient conditions for it to be subfit or Boolean. Another natural separation axiom connected to these is regularity. We explore similar characterizations of when clo… ▽ More Completions play an important rôle for studying structure by supplying elements that in some sense ``ought to be." Among these, the Dedekind-MacNeille completion is of particular importance. In 1968 Janowitz provided necessary and sufficient conditions for it to be subfit or Boolean. Another natural separation axiom connected to these is regularity. We explore similar characterizations of when closely related completions are subfit, regular, or Boolean. We are mainly interested in the Bruns-Lakser, ideal, and canonical completions, which (unlike the Dedekind-MacNeille completion) satisfy stronger forms of distributivity. The first two are widely used in pointfree topology, while the latter is of crucial importance in the semantics of modal logic. △ Less

Submitted 9 April, 2025; v1 submitted 29 May, 2024; originally announced May 2024.

Comments: 28 pages, 4 figures, 4 tables

MSC Class: 54D10; 18F70; 06D22; 06B23; 06B15; 06D50; 06E15

Subfitness in distributive (semi)lattices

Authors: Guram Bezhanishvili, James Madden, M. Andrew Moshier, Marcus Tressl, Joanne Walters-Wayland

Abstract: We investigate whether the set of subfit elements of a distributive semilattice is an ideal. This question was raised by the second author at the BLAST conference in 2022. We show that in general it has a negative solution, however if the semilattice is a lattice, then the solution is positive. This is somewhat unexpected since, as we show, a semilattice is subfit if and only if so is its distribu… ▽ More We investigate whether the set of subfit elements of a distributive semilattice is an ideal. This question was raised by the second author at the BLAST conference in 2022. We show that in general it has a negative solution, however if the semilattice is a lattice, then the solution is positive. This is somewhat unexpected since, as we show, a semilattice is subfit if and only if so is its distributive lattice envelope. △ Less

Submitted 25 March, 2025; v1 submitted 9 April, 2024; originally announced April 2024.

Comments: Final Version (14 pages)

MSC Class: 06A12; 06D22; 18F70; 54B35

Semilattice base hierarchy for frames and its topological ramifications

Authors: G. Bezhanishvili, F. Dashiell, A. Razafindrakoto, J. Walters-Wayland

Abstract: We develop a hierarchy of semilattice bases (S-bases) for frames. For a given (unbounded) meet-semilattice $A$, we analyze the interval in the coframe of sublocales of the frame of downsets of $A$ formed by all frames with the S-base $A$. We give an explicit description of the nuclei associated with these sublocales. We study various degrees of completeness of $A$, which generalize the concepts of… ▽ More We develop a hierarchy of semilattice bases (S-bases) for frames. For a given (unbounded) meet-semilattice $A$, we analyze the interval in the coframe of sublocales of the frame of downsets of $A$ formed by all frames with the S-base $A$. We give an explicit description of the nuclei associated with these sublocales. We study various degrees of completeness of $A$, which generalize the concepts of extremally disconnected and basically disconnected frames. We also introduce the concepts of D-bases and L-bases, as well as their bounded counterparts, and show how our results specialize and sharpen in these cases. Classic examples that are covered by our approach include zero-dimensional, completely regular, and coherent frames, allowing us to provide a new perspective on these well-studied classes of frames, as well as their spatial counterparts. △ Less

Submitted 23 April, 2024; v1 submitted 3 August, 2023; originally announced August 2023.

Pointfree pointwise suprema in unital archimedean $\ell$-groups

Authors: Richard N. Ball, Anthony W. Hager, Joanne Walters-Wayland

Abstract: We generalize the concept of the pointwise supremum of real-valued functions to the pointfree setting. The concept itself admits a direct and intuitive formulation which makes no mention of points. But our aim here is to investigate pointwise suprema of subsets of $\mathcal{R}L$, the family of continuous real valued functions on a locale, or pointfree space. Our setting is the category… ▽ More We generalize the concept of the pointwise supremum of real-valued functions to the pointfree setting. The concept itself admits a direct and intuitive formulation which makes no mention of points. But our aim here is to investigate pointwise suprema of subsets of $\mathcal{R}L$, the family of continuous real valued functions on a locale, or pointfree space. Our setting is the category $\mathbf{W}$ of archimedean lattice-ordered groups ($\ell$-groups) with designated weak order unit, with morphisms which preserve the group and lattice operations and take units to units. A main result is the appropriate analog of the Nakano-Stone Theorem: a (completely regular) locale $L$ has the feature that $\mathcal{R}L$ is conditionally pointwise complete ($σ$-complete), i.e., every bounded (countable) family from $\mathcal{R}L$ has a pointwise supremum in $\mathcal{R}L$, iff $L $ is boolean (a $P$-locale). We adopt a maximally broad definition of unconditional pointwise completeness ($σ$-completeness): a divisible $\mathbf{W}$-object $G$ is pointwise complete ($σ$-complete) if it contains a pointwise supremum for every subset which has a supremum in any extension. We show that the pointwise complete ($σ$-complete) $\mathbf{W}$-objects are those of the form $\mathcal{R}L$ for $L$ a boolean locale ($P$-locale). Finally, we show that a $\mathbf{W}$-object $G$ is pointwise $σ$-complete iff it is epicomplete. △ Less

Submitted 12 November, 2014; originally announced November 2014.

MSC Class: 06D22; 06F20; 54D15; 54A05