Notes on Two-Sided Quantales

Xi-juan Wang,Wei He
DOI: https://doi.org/10.1007/978-3-642-15660-1_75
2010-01-01
Abstract:hi this paper, we show that a two-sided quantale is coherent if it is isomorphic to the quantale of ideals of a distributive two-sided *-semilattice. Thus quantale representations of distributive two-sided *-semilattices are obtained. We also show that the free two-sided quantale generated by a set exists. And then the category TQuant of two-sided quantales is an algebraic category.
What problem does this paper attempt to address?