- In mathematics,
quantales are
certain partially ordered algebraic structures that
generalize locales (point free topologies) as well as
various multiplicative...
- (with the
monoidal structure induced by the
Cartesian product) is a
unital quantale. A
monoid object in (Ab, ⊗Z, Z), the
category of
abelian groups, is a ring...
- (structure)
Boolean ring
Complete Boolean algebra Orthocomplemented lattice Quantale Partially ordered monoid Ordered group Archimedean property Ordered ring...
- 59 into
prime parts 1851 = sum of the
first 32
primes 1852 =
number of
quantales on 5 elements, up to
isomorphism 1853 = sum of
primitive roots of 27-th...
-
generalization of
metric spaces and posets,
which uses the
concept of
quantales, and that can be used to
unify the
notions of
metric spaces and domains...
- ****ociated
treatment of bisimilarity, can be
interpreted in any
involutive quantale.
Bisimilarity can also be
defined in order-theoretical fashion, in terms...
- 2307/2310058. ISSN 0002-9890. JSTOR 2310058. Yetter,
David N. (1990). "
Quantales and (Noncommutative)
Linear Logic". The
Journal of
Symbolic Logic. 55...
-
matrix multiplication corresponds to
composition of relations. Any
unital quantale is a
semiring under join and multiplication. A
normal skew
lattice in a...
- join), and
product make the set of
ideals of a
commutative ring into a
quantale. If a , b {\displaystyle {\mathfrak {a}},{\mathfrak {b}}} are
ideals of...
- 1987, pp. 325–332 Gylys, R. P. (1994)
Quantal sets and
sheaves over
quantales, Liet. Matem. Rink., v. 34, No. 1, pp. 9–31.
Ulrich Höhle,
Stephen Ernest...