Categorical constructions of sets valued on semicartesian and involutive quantales - Alvim, José Goudet; Mariano, Hugo Luiz; Mendes, Caio de Andrade (Brazilian Logic Conference - EBL 2025, 2025)