activity
20142023
most citedTowards a good notion of categories of logics

7 citations · 7 across the 4 of their papers we have counts for

collaborators
Showing 2023Show all

2 papers · 1 filter

math.CT2023

-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…

math.CT2023

-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,…