Point-free MV-topologies

Abstract: We propose a point-free approach to MV-topological spaces in the wake of previous works on both classical and fuzzy topology. In order to do that, we introduce suitable frame-type structures and a class of fuzzy topological spaces which includes and suitably extends the one of MV-topological spaces. Then we show an adjoint situation between such structures, and restrict such an adjointness to a duality between the corresponding classes of spatial frames'' andsober spaces''. We also use neighbourhood systems to characterize sobriety in this context.

• The paper introduces D-laminated MV-spaces and MV-frames that generalize traditional MV-topological structures with a point-free, locale-based approach.
• It constructs an explicit adjunction between MV-spaces and MV-frames, thereby extending classical dualities such as Stone–Priestley to the fuzzy topology context.
• The work offers intrinsic characterizations of sobriety and spatiality in fuzzy topologies using MV-neighbourhood systems, paving the way for broader applications in categorical logic.

Point-free MV-topologies: Algebraic and Categorical Foundations

Introduction and Context

"Point-free MV-topologies" (2604.00194) introduces a point-free (locale-theoretic) approach to the study of MV-topological spaces. This investigation follows the tradition of constructive topology—so-called "point-free topology"—where the focus shifts from sets of points and their open subsets to algebraic structures encoding the lattice or quantale of ‘open sets.’ The main result is the introduction and detailed investigation of $D$-laminated MV-spaces and corresponding $D$-laminated MV-frames, which extend and abstract prior developments in fuzzy topology and MV-algebraic topology.

This work is situated at the intersection of categorical topology, algebraic logic, and quantale theory. It extends classical results like the Papert–Isbell adjunction and Stone and Priestley dualities into the field of fuzzy, many-valued topologies governed by MV-algebras and quantales, further generalizing the locale-theoretic (point-free) tradition [picado2011frames; johnstone1982stone].

$D$-laminated MV-spaces and MV-frames

A central contribution is the introduction of $D$-laminated MV-spaces, parametric on a fixed subquantale $D \subseteq [0,1]$, generalizing both MV-topological spaces and Lowen's fuzzy topological spaces. An MV-topological space in this sense is a set equipped with a family of $[0,1]$-valued functions closed under relevant lattice and MV-algebraic operations, as originally motivated in [chal; rusfuz]. For a given subquantale $D$, a $D$-laminated MV-space $(X,\tau)$ consists of a set $X$ and a collection $D$0 closed under arbitrary joins, pointwise $D$1-scalings, the MV-algebraic operations $D$2, conjunction, and containing the canonical elements $D$3 and $D$4.

The algebraic counterpart is the $D$5-laminated MV-frame—a quantale algebra $D$6 equipped with additional lattice, MV-additive, and $D$7-module structures. These can be viewed as point-free analogues (or locales) corresponding to the ‘open set lattice’ of a $D$8-laminated MV-space but with structure reflecting the underlying many-valued logic.

The authors establish that, for each $D$9, every $D$0-laminated MV-space's open set family is naturally a $D$1-frame, and conversely, every $D$2-frame canonically yields a $D$3-laminated MV-space structured as the set of its ‘points’ (i.e., certain frame homomorphisms). This categorical equivalence generalizes the classical adjunction between topological spaces and frames/locales.

Comparison with Prior Notions

The work clarifies the relationships between $D$4-laminated MV-spaces, the stratified fuzzy spaces in the sense of Solovyov [solovyov2016], and quantale-valued spaces à la Zhang and Zhang [zhang2022]. The paper emphasizes careful distinctions: $D$5-laminated MV-spaces use $D$6 as the function space and allow more sophisticated algebraic closure conditions, while the $D$7-topologies in [zhang2022] only use $D$8.

Categorical Structures: Functors, Adjunction, and Duality

A significant technical contribution is the explicit construction of an adjunction between the category of $D$9-laminated MV-spaces and $D$0-frames, generalizing the Papert–Isbell adjunction [papert-papert; isbell1972atomless] and invoking universal properties at the categorical level.

Given a $D$1-laminated MV-space $D$2, a canonical functor $D$3 sends $D$4 to its frame of ‘opens’ and morphisms to their inverse image operations. Conversely, each $D$5-frame $D$6 yields a space of its points $D$7, equipped with a corresponding $D$8-laminated MV-topology. An explicit adjunction is established, with the unit assigning to each point the corresponding evaluation morphism, and the counit recovering the structure map from opens to their evaluative functions on the points.

The paper identifies conditions under which this adjunction restricts to a dual equivalence (i.e., a duality) between the category of sober $D$9-laminated MV-spaces and spatial $D \subseteq [0,1]$0-frames:

• Sober spaces: Every point of $D \subseteq [0,1]$1 is given by evaluation at a unique point of $D \subseteq [0,1]$2, in analogy with classical sobriety notions for spaces/locales.
• Spatial frames: A $D \subseteq [0,1]$3-frame is spatial if isomorphic to the frame of opens of some $D \subseteq [0,1]$4-laminated MV-space, equivalently if frame elements are separated by points.

The duality theorem obtained constitutes a full generalization of Stone/Priestley–type dualities into the fuzzy/MV setting, with a point-free (locale-theoretical) perspective.

Neighbourhood Systems and Internal Characterizations

The paper further develops the internal theory of $D \subseteq [0,1]$5-laminated MV-topologies by introducing MV-neighbourhood systems generalizing traditional neighbourhood filters. This enables characterizations of sobriety and spatiality through purely algebraic or order-theoretic data, bypassing explicit reference to points.

Specifically, for each $D \subseteq [0,1]$6 in a $D \subseteq [0,1]$7-laminated MV-space, a neighbourhood system assigns to each $D \subseteq [0,1]$8 the supremum of values of open sets contained in $D \subseteq [0,1]$9 at $[0,1]$0, i.e., an interior operator. The paper characterizes when such filters correspond to genuine points (in the categorical sense) of the associated MV-frame and relates this to classical concepts from fuzzy topology and closure operators.

This yields an intrinsic criterion: “$[0,1]$1 is sober if and only if every point in $[0,1]$2 corresponds to the unique neighbourhood system of some $[0,1]$3,” making the duality amenable to algebraic manipulation and generalization.

Connections with Abstract Categorical Dualities

The authors briefly discuss how their more concrete adjunction-based framework relates to recent categorical approaches to duality (e.g., via opfibration techniques [nishi2022]) but argue that the classical approach remains essential when the geometric/topological category is known in advance and the algebraic structures are constructed as abstractions of ‘open set lattices.’ This situates the work as part of the tradition rooted in the development of locales and formal spaces [picado2011frames; johnstone1983point], rather than as an application of highly abstract categorical machinery.

The paper also notes that for each choice of subquantale $[0,1]$4, the framework yields a different class of $[0,1]$5-laminated MV-frames and a parametrized series of dualities, highlighting the flexibility and generality of the approach.

Theoretical Implications and Future Directions

This research provides a robust algebraic foundation for many-valued, fuzzy topology, and offers a template for dualities in a wide variety of logical and algebraic settings. Notable implications include:

• The framework unifies classical, Boolean, distributive, fuzzy, and MV-topological dualities in a single adjunction schema.
• The concept of $[0,1]$6-laminated MV-topologies could provide a setting for generalized sheaf representations of MV-algebras, extensions of compactness and separation axioms, and finer classifications of fuzzy topological phenomena.
• The point-free approach informs ongoing efforts in constructive topology, synthetic topology, and topos theory, with potential connections to categorical logic and formal space semantics.
• The parametrization by $[0,1]$7 (an arbitrary subquantale of $[0,1]$8) suggests broad applicability to graded logics, quantum structures, and contexts where scalars (degrees of truth) are restricted or specialized.

The explicit categorical and algebraic results prepare the ground for further investigations into morphisms, internal logics, representations, and potential computational applications in fuzzy theory, MV-algebraic logic, or even data/knowledge representation under uncertainty.

Conclusion

The paper "Point-free MV-topologies" (2604.00194) achieves a categorical and algebraic synthesis of MV-fuzzy topologies and their point-free (locale) frameworks. By generalizing both the logical (MV-algebraic) and topological (locally point-free) structures, it enables dualities and adjunctions that match classical topological dualities but in a significantly richer, many-valued logic context. The approach is robust, conceptually clear, and poised for further refinement and application in categorical logic, constructive topology, and fuzzy mathematics.