This is a development version of this entry. It might change over time and is not stable.
Please refer to release versions for citations.
Abstract
These mathematical components formalise basic properties of quantales,
together with some important models, constructions, and concepts,
including quantic nuclei and conuclei.