Remark on the unital quantale \(Q[e]\) (Q452329): Difference between revisions

In [\textit{J. Paseka} and \textit{D. Kruml}, J. Pure Appl. Algebra 148, No. 2, 209--216 (2000; Zbl 0962.06018)] it is proven that any quantale embeds in a simple quantale. For a quantale \(Q\), the construction of the embedding quantale involves several steps, the first of which is a construction \(Q[e]\) that appends to \(Q\) a unit \(e\). The article under review first recalls the necessary definitions and constructions and then proceeds to examine some properties of the quantale \(Q[e]\). The main results are that if \(Q\) is a quantale with \(|Q|\geq 2\) then \(Q\) is not simple (Theorem 2.11), followed by a study of extensions of quantic nuclei in Section 3, with Section 4 closing the article by establishing that the construction \(Q[e]\) is a reflection functor for the embedding of categories \(\mathrm {UnQuant} \to \mathrm{Quant}\), studying some properties of the adjunction, and relating the \(Q[e]\) construction to topological closure operators on ordered semigroups. Remark: Throughout the paper the uppercase letter `Q' frequently alternates between two different fonts. The reviewer could not discern any semantic significance to this alteration and concludes it is most likely a typo.