ON MONADIC QUANTALE ALGEBRAS: BASIC PROPERTIES AND REPRESENTATION THEOREMS