2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/65728A 2-form between two sup-lattices L and R is defined to be a sup-lattice bimorphism L x R -> 2. Such 2-forms are equivalent to Galois connections, and we study them and their relation to quantales, involutive quantales and quantale modules. As examples we describe applications to C*-algebras.30 pages. Contains more detailed background section and corrections of several typos and mistakesRings and Algebras06F07 (Primary) 06B23, 16D10, 18B30, 46L05, 54A05, 54C05 (Secondary)text