Projective sup-algebras: a general view (Q2469567)

The author generalizes work of \textit{B. Banaschewski} about frames [Cah. Topol. Géom. Différ. Catég. 46, No. 4, 301--312 (2005; Zbl 1104.06006)], resp. himself about quantales [Int. J. Theor. Phys. 47, No. 1, 291--296 (2008; Zbl 1149.81005)], that is, he presents a general view with respect to the projectivity notion in the category of sup-algebras. Sup-algebras are certain partially ordered algebraic structures which generalize quantales, frames and biframes (pointless topologies) as well as various lattices of multiplicative ideals from ring theory and functional analysis (\(C^*\)-algebras, von Neumann algebras). After introducing the notion of \({\mathbf K}\)-flat projectivity, for each sup-algebra \(L\) he defines a binary relation \(\triangleleft_L\) on it. The \({\mathbf K}\)-flat projective sup-algebras are exactly such sup-algebras with each element \(a\) approximated by the element \(x,\) \(x \triangleleft_L a\) and the relation \(\triangleleft_L\) being stable with respect to the operations on \(L.\) Moreover, he introduces the notion of a \({\mathbf K}\)-comonad and characterizes \({\mathbf K}\)-flat projective sup-algebras as such sup-algebras having a coalgebra structure for the \({\mathbf K}\)-comonad.