出典:Wiktionary
出典:Wikipedia
出典:『Wikipedia』 (2010/04/08 18:59 UTC 版)
In mathematics, quantales are certain partially ordered algebraic structures that generalize locales (point free topologies) as well as various lattices of multiplicative ideals from ring theory and functional analysis (C*-algebras, von Neumann algebras). Quantales are sometimes referred to as complete residuated semigroups.