quantale noun1 •A kind of partially ordered algebraic structure that generalizes locales (point free topologies) as well as various multiplicative lattices of ideals from ring theory and functional analysis. formsquantales
