Some New Properties of the Quantale

刘智斌,赵彬

DOI: https://doi.org/10.3969/j.issn.1001-7402.2004.01.004

2004-01-01

Abstract:In this paper, some basic properties of quantale are discussed. Two sufficent and necessary conditions that prequantale turn into quantale are obtained. The uniqueness of order-reverse involution on strictly two-sided quantale is proved and the condition that quantale turn into distributive lattice is given.

What problem does this paper attempt to address?

Notes on Two-Sided Quantales

Xi-juan Wang,Wei He

DOI: https://doi.org/10.1007/978-3-642-15660-1_75

2010-01-01

Abstract:hi this paper, we show that a two-sided quantale is coherent if it is isomorphic to the quantale of ideals of a distributive two-sided *-semilattice. Thus quantale representations of distributive two-sided *-semilattices are obtained. We also show that the free two-sided quantale generated by a set exists. And then the category TQuant of two-sided quantales is an algebraic category.
Quantum-Logics-Valued Measure Convergence Theorem

Wu Junde,Lu Shijie,Cho Minhyung

DOI: https://doi.org/10.1023/b:ijtp.0000005978.38235.07

2003-01-01

International Journal of Theoretical Physics

Abstract:In this paper, the following quantum-logic valued measure convergence theorem is proved: Let (L1, 0, 1) be a Boolean algebra, (L2, ⊥, ⊕, 0, 1) be a quantum logic and {μ n : n ∈ N} be a sequence of s-bounded (L2, ⊥, ⊕, 0, 1)-valued measures which are defined on (L1, 0, 1). If for each a ∈ (L1, 0, 1), {μ n (a)}n ∈ N is an order topology $\tau_{0}^{L_2}$ Cauchy sequence, when {v(a)} convergent to 0, {μ n (a)} is order topology $\tau_{0}^{L_2}$ convergent to 0 for each n ∈ N, where v is a nonnegative finite additive measure which is defined on (L1, 0, 1), then when {v(a)} convergent to 0, {μ n (a)} are order topology $\tau_{0}^{L_2}$ convergent to 0 uniformly with respect to n ∈ N.
The quantale of order-preserving maps

Hongwei Wu

DOI: https://doi.org/10.48550/arXiv.2202.08018

2022-02-16

Abstract:In this paper, two new composition operations are defined among the order-preserving maps. They can act on order-preserving maps like the usual composition operation. They are coincide with the usual composition operation when the order-preserving maps are sup-preserving maps or meet-preserving maps. The usual composition operation can't endow the set $L^{L}$ of order preserving maps on a complete lattices $L$ with quantale or co-quantale structures. Luckily, two new operations can endow $L^{L}$ with a quantale and a co-quantale structures respectively, whenever $L$ is a completely distributive lattice.

Category Theory,Rings and Algebras
Unitally nondistributive quantales

Javier Gutiérrez García,Ulrich Höhle

2024-07-21

Abstract: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.

General Topology
Quantale-valued dissimilarity

Hongliang Lai,Lili Shen,Yuanye Tao,Dexue Zhang

DOI: https://doi.org/10.1016/j.fss.2020.01.013

2020-01-29

Abstract:Inspired by the theory of apartness relations of Scott, we establish a positive theory of dissimilarity valued in an involutive quantale $\mathsf{Q}$ without the aid of negation. It is demonstrated that a set equipped with a $\mathsf{Q}$-valued dissimilarity is precisely a symmetric category enriched in a subquantaloid of the quantaloid of back diagonals of $\mathsf{Q}$. Interactions between $\mathsf{Q}$-valued dissimilarities and $\mathsf{Q}$-valued similarities (which are equivalent to $\mathsf{Q}$-valued equalities in the sense of H{ö}hle--Kubiak) are investigated with the help of lax functors. In particular, it is shown that similarities and dissimilarities are interdefinable if $\mathsf{Q}$ is a Girard quantale with a hermitian and cyclic dualizing element.

Category Theory
Quantale Valued Sets: Categorical Constructions and Properties

José G. Alvim,Hugo L. Mariano,Caio de A. Mendes

DOI: https://doi.org/10.1007/s11225-024-10138-w

2024-09-20

Studia Logica

Abstract:This work mainly concerns the—here introduced—category of -sets and functional morphisms, where is a commutative semicartesian quantale. We prove it enjoys all limits and colimits, that it has a classifier for regular subobjects (a sort of truth-values object), which we characterize and give explicitly. Moreover: we prove it to be -locally presentable, (where ); we also describe a hierarchy of monoidal structures in this category.

mathematics,logic
Enriched Quantales Arising from Complete Orthomodular Lattices

Rad, Soroush Rafiee,Sack, Joshua,Zhong, Shengyang

DOI: https://doi.org/10.1007/s11225-024-10120-6

2024-06-07

Studia Logica

Abstract:This paper connects complete orthomodular lattices to two enriched quantale structures. Complete orthomodular lattices emphasize a static perspective of a quantum system, helping us reason about testable properties of a quantum system. Quantales offer a dynamic perspective, helping us reason about the structure of quantum actions. We enrich quantales with an orthocomplementation-inducing operator, and call these structures orthomodular dynamic algebras. One type of orthomodular dynamic algebra distinguishes the joins of any two different sets of atoms, while the other distinguishes elements by the collective behavior of the atoms below it. We show that both orthomodular dynamic algebras are unital, and the unit is the top element of an induced orthomodular lattice. We provide a categorical equivalence between both orthomodular dynamic algebras and complete orthomodular lattices with isomorphisms, and we show that this equivalence is preserved when augmenting the orthomodular dynamic algebras with an involution. These equivalences help clarify the relationship between static and dynamic quantum structures.

mathematics,logic
Ideals in quantales, II

Amartya Goswami

2023-08-12

Abstract:As a natural extension of the ongoing development of a theory of ideals in commutative quantales with an identity element, this article aims to study into the analysis of certain topological properties exhibited by distinguished classes of ideals. These ideals are equipped with quantale topologies. The primary objectives encompass characterizing quantale spaces exhibiting sobriety, examining several conditions pertaining to quasi-compactness, and demonstrating that quantale spaces comprised of proper ideals adhere to the spectral properties as defined by Hochster. We introduce the notion of a strongly disconnected spaces and show that for a quantale with zero Jacobson radical, strongly disconnected quantale spaces containing all maximal ideals of the quantale imply existence of non-trivial idempotent elements in the quantale. Additionally, a sufficient criterion for establishing the connectedness of a quantale space is presented. Finally, we discuss on continuous maps between quantale spaces.

General Topology
Right algebras in Sup and the topological representation of semi-unital and semi-integral quantales, revisited

Javier Gutiérrez García,Ulrich Höhle

DOI: https://doi.org/10.1515/ms-2024-0020

2024-05-29

Mathematica Slovaca

Abstract:Let Q be a reduced left-sided and left-stable quantale without zero divisors. This paper shows how the systematic use of the «quantization» of 2 viewed as a regular and strict right Q-subalgebra of Q can both strengthen and simplify the rather complicated construction of quantale-enriched topologies given for semi-unital and semi-integral quantales in the original paper [3]. The underlying structure for this new construction is an adjoint situation between the dual category of semi-unital, semi-integral quantales and quantized topological spaces.

mathematics
On semidirect products of quantale enriched monoids

Célia Borlido

2024-06-21

Abstract:We consider monoids equipped with a compatible quantale valued relation, to which we call quantale enriched monoids, and study semidirect products of such structures. It is well-known that semidirect products of monoids are closely related to Schreier split extensions which, in the setting of monoids, play the role of split extensions of groups. We will thus introduce certain split extensions of quantale enriched monoids, which generalize the classical Schreier split extensions of monoids, and investigate their connections with semidirect products. We then restrict our study to a class of quantale enriched monoids whose behavior mimics the fact that the preorder on a preordered group is completely determined by its cone of positive elements. Finally, we instantiate our results for preordered monoids and compare them with existing literature.

Group Theory,Category Theory
On ideals in quantales -- I

Amartya Goswami

2023-08-06

Abstract:Taking a ring-theoretic perspective as our motivation, the main aim of this series is to establish a comprehensive theory of ideals in commutative quantales with an identity element. This particular article focuses on an examination of several key properties related to ideals in quantale, including prime, semiprime, radical, primary, irreducible, and strongly irreducible ideals. Furthermore, we investigate the primary decomposition problem for quantale ideals. In conclusion, we present a set of future directions for further exploration, serving as a natural continuation of this article.

Rings and Algebras
Propositional Logics for the Lawvere Quantale

Giorgio Bacci,Radu Mardare,Prakash Panangaden,Gordon Plotkin

DOI: https://doi.org/10.46298/entics.12292

2023-11-18

Abstract:Lawvere showed that generalised metric spaces are categories enriched over $[0, \infty]$, the quantale of the positive extended reals. The statement of enrichment is a quantitative analogue of being a preorder. Towards seeking a logic for quantitative metric reasoning, we investigate three $[0,\infty]$-valued propositional logics over the Lawvere quantale. The basic logical connectives shared by all three logics are those that can be interpreted in any quantale, viz finite conjunctions and disjunctions, tensor (addition for the Lawvere quantale) and linear implication (here a truncated subtraction); to these we add, in turn, the constant $1$ to express integer values, and scalar multiplication by a non-negative real to express general affine combinations. Quantitative equational logic can be interpreted in the third logic if we allow inference systems instead of axiomatic systems. For each of these logics we develop a natural deduction system which we prove to be decidably complete w.r.t. the quantale-valued semantics. The heart of the completeness proof makes use of the Motzkin transposition theorem. Consistency is also decidable; the proof makes use of Fourier-Motzkin elimination of linear inequalities. Strong completeness does not hold in general, even (as is known) for theories over finitely-many propositional variables; indeed even an approximate form of strong completeness in the sense of Pavelka or Ben Yaacov -- provability up to arbitrary precision -- does not hold. However, we can show it for theories axiomatized by a (not necessarily finite) set of judgements in normal form over a finite set of propositional variables when we restrict to models that do not map variables to $\infty$; the proof uses Hurwicz's general form of the Farkas' Lemma.

Logic in Computer Science
Lattices and Their Consistent Quantification

Kevin H. Knuth

DOI: https://doi.org/10.1002/andp.201700370

2018-07-20

Abstract:This paper introduces the order-theoretic concept of lattices along with the concept of consistent quantification where lattice elements are mapped to real numbers in such a way that preserves some aspect of the order-theoretic structure. Symmetries, such as associativity, constrain consistent quantification and lead to a constraint equation known as the sum rule. Distributivity in distributive lattices also constrains consistent quantification and leads to a product rule. The sum and product rules, which are familiar from, but not unique to, probability theory, arise from the fact that logical statements form a distributive (Boolean) lattice, which exhibits the requisite symmetries.

Logic in Computer Science,Discrete Mathematics,Combinatorics
Quantale-valued maps and partial maps

Lili Shen,Xiaoye Tang

2024-08-01

Abstract:Let $\mathsf{Q}$ be a commutative and unital quantale. By a $\mathsf{Q}$-map we mean a left adjoint in the quantaloid of sets and $\mathsf{Q}$-relations, and by a partial $\mathsf{Q}$-map we refer to a Kleisli morphism with respect to the maybe monad on the category $\mathsf{Q}\text{-}\mathbf{Map}$ of sets and $\mathsf{Q}$-maps. It is shown that every $\mathsf{Q}$-map is symmetric if and only if $\mathsf{Q}$ is weakly lean, and that every $\mathsf{Q}$-map is exactly a map in $\mathbf{Set}$ if and only $\mathsf{Q}$ is lean. Moreover, assuming the axiom of choice, it is shown that the category of sets and partial $\mathsf{Q}$-maps is monadic over $\mathsf{Q}\text{-}\mathbf{Map}$.

Category Theory
On the invertibility of quantization functors

B. Enriquez,P. Etingof

DOI: https://doi.org/10.48550/arXiv.math/0306212

2003-06-13

Abstract:Certain quantization problems are equivalent to the construction of morphisms from "quantum" to "classical" props. Once such a morphism is constructed, Hensel's lemma shows that it is in fact an isomorphism. This gives a new, simple proof that any Etingof-Kazhdan quantization functor is an equivalence of categories between quantized universal enveloping (QUE) algebras and Lie bialgebras over a formal series ring (dequantization). We apply the same argument to construct dequantizations of formal solutions of the quantum Yang-Baxter equation and of quasitriangular QUE algebras. We also give structure results for the props involved in quantization of Lie bialgebras, which yield an associator-independent proof that the prop of QUE algebras is a flat deformation of the prop of co-Poisson universal enveloping algebras.

Quantum Algebra
On Profinite Quandles

Alexander W. Byard,Brian Cai,Nathan P. Jones,Lucy H. Vuong,David N. Yetter

2024-11-03

Abstract:We undertake the study of profinite quandles. We provide several constructions of profinite quandles from profinite groups, and from other profinite quandle. We characterize which subquandles of profinite quandles are again profinite. Finally, we provide a characterization of algebraically connected profinite quandles in terms of the profinite completion of their inner automorphism groups $\widehat{\Inn(Q)}$. It is anticipated that the results herein will find applications to the étale homotopy theory of number fields. v.2 has been updated to include an example due to Ariel Davis settling in the negative the question of whether all Stone topological quandles are profinite.

Geometric Topology
A characterization of Morita equivalence pairs of quantales

Jan Paseka

DOI: https://doi.org/10.48550/arXiv.math/0211236

2002-11-15

Abstract:We characterize the pairs of sup-lattices which occur as pairs of Morita equivalence bimodules between quantales in terms of the mutual relation between the sup-lattices.

Quantum Algebra,General Topology
Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions

Lili Shen,Dexue Zhang

DOI: https://doi.org/10.48550/arXiv.1307.5625

2013-07-22

Abstract:Each distributor between categories enriched over a small quantaloid Q gives rise to two adjunctions between the categories of contravariant and covariant presheaves, and hence to two monads. These two adjunctions are respectively generalizations of Isbell adjunctions and Kan extensions in category theory. It is proved that these two processes are functorial with infomorphisms playing as morphisms between distributors; and that the free cocompletion functor of Q-categories factors through both of these functors.

Category Theory
A twisted Hopf algebra of finite topological quandles

Mohamed Ayadi,Dominique Manchon

2023-11-03

Abstract:This paper describes some algebraic properties of the species of finite topological quandles. We construct two twisted bialgebra structures on this species, one of the first kind and one of the second kind. The obstruction for the structure to match the double twisted bialgebra axioms is explicitly described.

Algebraic Topology
Limits and colimits of quantaloid-enriched categories and their distributors

Lili Shen,Walter Tholen

DOI: https://doi.org/10.48550/arXiv.1504.03348

2015-10-13

Abstract:It is shown that, for a small quantaloid Q, the category of small Q-categories and Q-functors is total and cototal, and so is the category of Q-distributors and Q-Chu transforms.

Category Theory

Some New Properties of the Quantale

Notes on Two-Sided Quantales

Quantum-Logics-Valued Measure Convergence Theorem

The quantale of order-preserving maps

Unitally nondistributive quantales

Quantale-valued dissimilarity

Quantale Valued Sets: Categorical Constructions and Properties

Enriched Quantales Arising from Complete Orthomodular Lattices

Ideals in quantales, II

Right algebras in Sup and the topological representation of semi-unital and semi-integral quantales, revisited

On semidirect products of quantale enriched monoids

On ideals in quantales -- I

Propositional Logics for the Lawvere Quantale

Lattices and Their Consistent Quantification

Quantale-valued maps and partial maps

On the invertibility of quantization functors

On Profinite Quandles

A characterization of Morita equivalence pairs of quantales

Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions

A twisted Hopf algebra of finite topological quandles

Limits and colimits of quantaloid-enriched categories and their distributors