11 citations · 42 across the 23 of their papers we have counts for
6 papers · 1 filter
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…
Lax comma categories: cartesian closedness, extensivity, topologicity, and descent
Maria Manuel Clementino, Fernando Lucatelli Nunes, Rui Prezado
We investigate the properties of lax comma categories over a base category , focusing on topologicity, extensivity, cartesian closedness, and descent. We establish that the forg…
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…
A variety of co-quasivarieties
Maria Manuel Clementino, Carlos Fitas, Dirk Hofmann
It is shown that the duals of several categories of topological flavour, like the categories of ordered sets, generalised metric spaces, probabilistic metric spaces, topological sp…
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…