1 citations · 1 across the 3 of their papers we have counts for
3 papers · 1 filter
-Sets and Friends: Regarding Singleton and Gluing Completeness
José Goudet Alvim, Caio de Andrade Mendes, Hugo Luiz Mariano
This work is largely focused on extending D. Higgs' -sets to the context of quantales, following the broad program of U. Höhle, we explore the rich category of -sets…
-Sets and Friends: Categorical Constructions and Categorical Properties
José Goudet Alvim, Caio de Andrade Mendes, Hugo Luiz Mariano
This work mainly concerns the -- here introduced -- category of -sets and functional morphisms, where is a commutative semicartesian quantale. We describe,…
Induced morphisms between Heyting-valued models
José Goudet Alvim, Arthur Francisco Schwerz Cahali, Hugo Luiz Mariano
To the best of our knowledge, there are very few results on how Heyting-valued models are affected by the morphisms on the complete Heyting algebras that determine them: the only c…