arXiv subjects

Maria Manuel Clementino

Publications and source records attributed to Maria Manuel Clementino.

At least 19 recordsLinked to original sources

arXiv2026

Cauchy convergence in V-normed categories

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 to our approach is to treat them consequentially as categories enriched in the monoidal-closed category of normed sets. Our notions largely lead to the anticipated outcomes when considering individual metric spaces as small normed categories, but they can be challenging when considering some large categories, like those of semi-normed or normed vector spaces and all linear maps, or of generalized metric spaces and all mappings. These are the key example categories discussed in detail in this paper. Working with a general commutative quantale V as a value recipient for norms, rather than only with Lawvere's quantale of the extended real half-line, we observe that the categorically atypical structure gap between objects and morphisms in the example categories is already present in the underlying normed category of the enriching category of V-normed sets. To show that this normed category and, in fact, all presheaf categories over it, are Cauchy cocomplete, we assume the quantale V to satisfy a couple of light alternative extra properties. Of utmost importance to the general theory is the fact that our notion of normed colimit is subsumed by the notion of weighted colimit of enriched category theory. With this theory we are able to prove that all V-normed categories have correct-size Cauchy cocompletions. We also prove a Banach Fixed Point Theorem for contractive endofunctors of Cauchy cocomplete normed categories.

math.CT↗

arXiv2026

Algebraic exponentiation and action representability for V-groups

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 to the class of points underlying the product V-category structure. We obtain this by observing that such points correspond to (V-Cat)-enriched functors from a V-group, seen as a one-object V-category, to the category V-Grp of V-groups. Moreover, we show that the actions corresponding to points underlying the product V-category structure are representable.

math.CT↗

arXiv2026

Enriched aspects of calculus of relations and $2$-permutability

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 good calculus, the relations we work with are precisely the ideals in C. We then focus on an enriched version of the 1-dimensional algebraic 2-permutable (also called Mal'tsev) property and its well-known equivalent characterisations expressed through properties on ordinary relations. We introduce the notion of Ord-Mal'tsev category and show that these may be characterised through enriched versions of the above mentioned properties adapted to ideals. Any Ord-enrichment of a 1-dimensional Mal'tsev category is necessarily an Ord-Mal'tsev category. We also give some examples of categories which are not Mal'tsev categories, but are Ord-Mal'tsev categories.

math.CT↗

arXiv2025

Topological lax comma categories

This paper investigates the interplay between properties of a topological space $X$, in particular of its natural order, and properties of the lax comma category $\mathsf{Top} \Downarrow X$, where $\mathsf{Top}$ denotes the category of topologicalspaces and continuous maps. Namely, it is shown that, whenever $X$ is a topological $\bigwedge$-semilattice, the canonical forgetful functor $\mathsf{Top} \Downarrow X \to \mathsf{Top}$ is topological, preserves and reflects exponentials, and preserves effective descent morphisms. Moreover, under additional conditions on $X$, a characterisation of effective descent morphisms is obtained.

math.CT↗

arXiv2025

Effective descent morphisms of ordered families

We present a characterization of effective descent morphisms in the lax comma category $\mathsf{Ord}//X$ when $X$ is a locally complete ordered set, as well as in the antisymmetric setting.

math.CT↗

arXiv2024

Right-preordered groups from a categorical perspective

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 show that, from an algebraic point of view, the category of right-preordered groups shares several properties with the one of monoids. Moreover, we describe split extensions of right-preordered groups, showing in particular that semidirect products of ordered groups have always a natural right-preorder.

math.CT↗

arXiv2024

Lax comma categories: cartesian closedness, extensivity, topologicity, and descent

We investigate the properties of lax comma categories over a base category $X$, focusing on topologicity, extensivity, cartesian closedness, and descent. We establish that the forgetful functor from $\mathsf{Cat}//X$ to $\mathsf{Cat}$ is topological if and only if $X$ is large-complete. Moreover, we provide conditions for $\mathsf{Cat}//X$ to be complete, cocomplete, extensive and cartesian closed. We analyze descent in $\mathsf{Cat}//X$ and identify necessary conditions for effective descent morphisms. Our findings contribute to the literature on lax comma categories and provide a foundation for further research in 2-dimensional Janelidze's Galois theory.

math.CT↗

arXiv2024

A variety of co-quasivarieties

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 spaces, approach spaces, are quasivarieties, presenting a common proof for all such results.

math.CT↗

arXiv2023

Effective descent morphisms of filtered preorders

We characterize effective descent morphisms of what we call filtered preorders, and apply these results to slightly improve a known result, due to the first author and F. Lucatelli Nunes, on the effective descent morphisms in lax comma categories of preorders. A filtered preorder, over a fixed preorder $X$, is defined as a preorder $A$ equipped with a profunctor $X\to A$ and, equivalently, as a set $A$ equipped with a family $(A_x)_{x\in X}$ of upclosed subsets of $A$ with $x'\leqslant x\Rightarrow A_x\subseteq A_{x'}$.

math.CT↗

arXiv2023

Lax comma categories of ordered sets

Let $\mathsf{Ord} $ be the category of (pre)ordered sets. Unlike $\mathsf{Ord}/X$, whose behaviour is well-known, not much can be found in the literature about the lax comma 2-category $\mathsf{Ord} //X$. In this paper we show that the forgetful functor $\mathsf{Ord} //X\to \mathsf{Ord} $ is topological if and only if $X$ is complete. Moreover, under suitable hypothesis, $\mathsf{Ord} // X$ is complete and cartesian closed if and only if $X$ is. We end by analysing descent in this category. Namely, when $X$ is complete and cartesian closed, we show that, for a morphism in $\mathsf{Ord} //X$, being pointwise effective for descent in $\mathsf{Ord} $ is sufficient, while being effective for descent in $\mathsf{Ord} $ is necessary, to be effective for descent in $\mathsf{Ord} //X$.

math.CT↗

arXiv2023

Lax comma $2$-categories and admissible $2$-functors

This paper is a contribution towards a two dimensional extension of the basic ideas and results of Janelidze-Galois theory. In the present paper, we give a suitable counterpart notion to that of \textit{absolute admissible Galois structure} for the lax idempotent context, compatible with the context of \textit{lax orthogonal factorization systems}. As part of this work, we study lax comma $2$-categories, giving analogue results to the basic properties of the usual comma categories. We show that each morphism of a $2$-category induces a $2$-adjunction between lax comma $2$-categories and comma $2$-categories, playing the role of the usual \textit{change of base functors}. With these induced $2$-adjunctions, we are able to show that each $2$-adjunction induces $2$-adjunctions between lax comma $2$-categories and comma $2$-categories, which are our analogues of the usual lifting to the comma categories used in Janelidze-Galois theory. We give sufficient conditions under which these liftings are $2$-premonadic and induce a lax idempotent $2$-monad, which corresponds to our notion of $2$-admissible $2$-functor. In order to carry out this work, we analyse when a composition of $2$-adjunctions is a lax idempotent $2$-monad, and when it is $2$-premonadic. We give then examples of our $2$-admissible $2$-functors (and, in particular, simple $2$-functors), specially using a result that says that all admissible ($2$-)functors in the classical sense are also $2$-admissible (and hence simple as well). We finish the paper relating coequalizers in lax comma $2$-categories and Kan extensions.

math.CT↗

arXiv2022

On split extensions of preordered groups

We investigate the behaviour of split extensions in the category OrdGrp of (pre)\-ordered groups. Namely we show that the lexicographic order plays a key role on the existence of compatible orders for semidirect products, establishing necessary and sufficient conditions for such existence; we prove that the Split Short Five Lemma holds for stably strong split extensions, and identify classes of split extensions which admit a classifier.

math.CT↗

arXiv2022

On lax protomodularity of Ord-enriched categories

Our main focus concerns a possible lax version of the algebraic property of protomodularity for Ord-enriched categories. Our motivating example is the category OrdAb of preordered abelian groups; indeed, while abelian groups form a protomodular category, OrdAb does not. Having in mind the role of comma objects in the enriched context, we consider some of the characteristic properties of protomodularity with respect to comma objects instead of pullbacks. We show that the equivalence between protomodularity and certain properties on pullbacks also holds when replacing conveniently pullbacks by comma objects in any finitely complete category enriched in Ord, and propose to call lax protomodular such Ord-enriched categories. We conclude by studying this sort of lax protomodularity for OrdAb, equipped with a suitable Ord-enrichment, and show that OrdAb fulfills the equivalent lax protomodular properties with respect to the weaker notion of precomma object; we call such categories lax preprotomodular.

math.CT↗

arXiv2022

On coherent systems of subobjects with application to torsion theory

In a coherent category, the posets of subobjects have very strong properties. We emphasize the validity of these properties, in general categories, for well-behaved classes of subobjects. As an example of application, we investigate the problem of the various torsion theories which can be universally associated with a pretorsion one.

math.CT↗

arXiv2022

On presheaf submonads of quantale enriched categories

This paper focus on the presheaf monad and its submonads on the realm of $V$-categories, for a quantale $V$. First we present two characterisations of presheaf submonads, both using $V$-distributors: one based on admissible classes of $V$-distributors, and other using Beck-Chevalley conditions on $V$-distributors. Then we focus on the study of the corresponding Eilenberg-Moore categories of algebras, having as main examples the formal ball monad and the so-called Lawvere monad.

math.CT↗

arXiv2021

Some remarks on protolocalizations and protoadditive reflections

We investigate additional properties of protolocalizations, introduced and studied by F. Borceux, M. M. Clementino, M. Gran, and L. Sousa, and of protoadditive reflections, introduced and studied by T. Everaert and M. Gran. Among other things we show that there are no non-trivial (protolocalizations and) protoadditive reflections of the category of groups, and establish a connection between protolocalizations and Kurosh--Amitsur radicals of groups with multiple operators whose semisimple classes form subvarieties.

math.CT↗

arXiv2020

On the categorical behaviour of $V$-groups

We consider compatible group structures on a $V$-category, where $V$ is a quantale, and we study the topological and algebraic properties of such groups. Examples of such structures are preordered groups, metric and ultrametric groups, probabilistic (ultra)metric groups. In particular, we show that, when $V$ is a frame, symmetric $V$-groups satisfy very strong categorical-algebraic properties, typical of the category of groups. In particular, symmetric $V$-groups form a protomodular category.

math.CT↗

arXiv2019

Cartesian closed exact completions in topology

Using generalized enriched categories, in this paper we show that Rosický's proof of cartesian closedness of the exact completion of the category of topological spaces can be extended to a wide range of topological categories over $\mathsf{Set}$, like metric spaces, approach spaces, ultrametric spaces, probabilistic metric spaces, and bitopological spaces. In order to do so we prove a sufficient criterion for exponentiability of $(\mathbb{T},V)$-categories and show that, under suitable conditions, every $(\mathbb{T},V)$-injective category is exponentiable in $(\mathbb{T},V)\text{-}\mathsf{Cat}$.

math.CT↗