arXiv subjects

Javier Gutiérrez García

Publications and source records attributed to Javier Gutiérrez García.

4 recordsLinked to original sources

arXiv2025

Quantaloid-enriched categories: Factorization, weak classifiers, and symmetry

This paper provides a comprehensive overview of some of the foundational properties of categories enriched over quantaloids, along with several new results. We demonstrate that the category whose objects are quantaloid-enriched categories and whose morphisms are left adjoint distributors admits an (epi, extremal mono)--factorization system. Furthermore, we prove that the category of cocomplete quantaloid-enriched categories satisfies the weak subobject classifier axiom, under stability conditions on the underlying quantaloid. As an application, we discuss how these structural results extend to quantale-valued sets, thereby generalizing the classical theory of $Ω$-valued sets.

math.CT↗

arXiv2025

Involutive quantales and quantale-enriched involutive topological spaces

In this paper, we provide a comprehensive analysis of involutive quantales, with a particular focus on quantic frames. We extend the axiomatic foundations of quantale-enriched topological spaces to include closure under the anti-homomorphic involution, facilitating a balanced topologization of the spectrum of unital $C^*$-algebras that encompasses both closed right and left ideals through the concept of quantic frames. Specifically, certain subspaces of pure states are identified as strongly Hausdorff separated quantale-enriched involutive topological spaces.

math.OA↗

arXiv2024

Unitally nondistributive quantales

Unitally nondistributive quantales are unital quantales such that the unit is approximable by the totally below relation and does not meet-distribute over arbitrary joins. It is shown that the underlying nondistributive complete lattice contains at least $7$ elements. Moreover, under mild conditions, every quantale has an extension to a unitally nondistributive quantale by the addition of an isolated unit. As a byproduct of this construction we prove that there exist $30$ non-isomorphic, unitally nondistributive quantales on the set of $7$ elements.

math.GN↗

arXiv2018

Fuzzy Galois connections on fuzzy sets

In fairly elementary terms this paper presents how the theory of preordered fuzzy sets, more precisely quantale-valued preorders on quantale-valued fuzzy sets, is established under the guidance of enriched category theory. Motivated by several key results from the theory of quantaloid-enriched categories, this paper develops all needed ingredients purely in order-theoretic languages for the readership of fuzzy set theorists, with particular attention paid to fuzzy Galois connections between preordered fuzzy sets.

cs.LO↗