8 papers
Cauchy convergence in V-normed categories
Maria Manuel Clementino, Dirk Hofmann, Walter Tholen
Building on the notion of normed category as suggested by Lawvere, we introduce notions of Cauchy convergence and cocompleteness which differ from proposals in previous works. Key…
Algebraic exponentiation and action representability for V-groups
Maria Manuel Clementino, Andrea Montoli
We show that the category of V-groups, where V is a cartesian quantale, so in particular the category of preordered groups, is locally algebraically cartesian closed with respect t…
Enriched aspects of calculus of relations and -permutability
Maria Manuel Clementino, Diana Rodelo
The aim of this work is to further develop the calculus of (internal) relations for a regular Ord-category C. To capture the enriched features of a regular Ord-category and obtain…
Topological lax comma categories
Maria Manuel Clementino, Dirk Hofmann, Rui Prezado
This paper investigates the interplay between properties of a topological space , in particular of its natural order, and properties of the lax comma category $\mathsf{Top} \Dow…
Effective descent morphisms of ordered families
Maria Manuel Clementino, Rui Prezado
We present a characterization of effective descent morphisms in the lax comma category when is a locally complete ordered set, as well as in the antisymmetric…
Right-preordered groups from a categorical perspective
Maria Manuel Clementino, Andrea Montoli
We study the categorical properties of right-preordered groups, giving an explicit description of limits and colimits in this category, and studying some exactness properties. We s…