Quantales

Goals Tasks Overall Description Contacts Financers Team Products   Description Achieved Quantales are ordered semigroups that generalize locales and also play the role of noncommutative spaces. They have been studied in several contexts, ranging from operator algebras and category theory to logic and computer science.