- 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...
- 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...
- (structure)
Boolean ring
Complete Boolean algebra Orthocomplemented lattice Quantale Partially ordered monoid Ordered group Archimedean property Ordered ring...
- ****ociated
treatment of bisimilarity, can be
interpreted in any
involutive quantale.
Bisimilarity can also be
defined in order-theoretical fashion, in terms...
- 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...
-
structure (with
inclusion of
relations as sets), and
actually an
involutive quantale. Similarly, the
category of
heterogeneous relations, Rel is also an ordered...
- 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...
-
combine orders with even more
algebraic operations, as in the case of
quantales, that
allow for the
definition of an
addition operation. Many
other important...