Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras - Alvim, José; Cahali, Arthur; Mariano, Hugo Luiz (Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL), 2019)