Quantale
|
|
In mathematics, quantales are certain partially ordered algebraic structures which generalize frames (pointless topologies) as well as various lattices of multiplicative ideals from ring theory and functional analysis (C*-algebras, von Neumann algebras).
A quantale is a complete lattice Q with an associative binary multiplication satisfying
- x * sup { xi | i in I } = sup { x * xi | i in I }
- sup { xi | i in I } * x = sup { xi * x | i in I }
for all x, xi in Q, i in I (here I is any index set).
External link
Some Results on Simple Quantales by Jan Paseka (http://at.yorku.ca/cgi-bin/amca/caai-84)