7 citations · 7 across the 4 of their papers we have counts for
4 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,…
On sheaves on semicartesian quantales and their truth values
Ana Luiza Tenório, Caio de Andrade Mendes, Hugo Luiz Mariano
In this paper, we introduce a new definition of sheaves on semicartesian quantales, providing first examples and categorical properties. We note that our sheaves are similar to the…
Towards a good notion of categories of logics
Caio de Andrade Mendes, Hugo Luiz Mariano
We consider (finitary, propositional) logics through the original use of Category Theory: the study of the "sociology of mathematical objects", aligning us with a recent, and growi…