Showing 1–26 of 26 results for author: Clementino, M M

Topological lax comma categories

Authors: Maria Manuel Clementino, Dirk Hofmann, Rui Prezado

Abstract: 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… ▽ More 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. △ Less

Submitted 17 April, 2025; originally announced April 2025.

Comments: 26p + 3p refs

MSC Class: 06B30; 06B35; 06F30; 18A25; 18F60; 18F20; 22A26; 54B30

Effective descent morphisms of ordered families

Authors: Maria Manuel Clementino, Rui Prezado

Abstract: 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. 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. △ Less

Submitted 20 March, 2025; v1 submitted 11 July, 2024; originally announced July 2024.

Comments: 13 pages. To appear in Quaest. Math

MSC Class: 06A07; 18A25; 18A30; 18B35; 18B50; 18D30

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

Authors: Maria Manuel Clementino, Diana Rodelo

Abstract: 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 ch… ▽ More 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. △ Less

Submitted 15 June, 2024; originally announced June 2024.

Right-preordered groups from a categorical perspective

Authors: Maria Manuel Clementino, Andrea Montoli

Abstract: 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 particul… ▽ More 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. △ Less

Submitted 14 June, 2024; originally announced June 2024.

MSC Class: 06F15; 18E08; 18E13; 06F05

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

Authors: Maria Manuel Clementino, Fernando Lucatelli Nunes, Rui Prezado

Abstract: 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… ▽ More 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. △ Less

Submitted 11 June, 2024; v1 submitted 6 May, 2024; originally announced May 2024.

Comments: 13 pages

MSC Class: 18N10; 18N15; 18A05; 18A22; 18A40

Journal ref: Theory Appl. Categ. 41(16):516-530, 2024

Cauchy convergence in V-normed categories

Authors: Maria Manuel Clementino, Dirk Hofmann, Walter Tholen

Abstract: 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 sm… ▽ More 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. △ Less

Submitted 28 April, 2025; v1 submitted 13 April, 2024; originally announced April 2024.

Comments: 50 pages

MSC Class: 18A35; 18D20; 18F75; 46M99; 54E35

A variety of co-quasivarieties

Authors: Maria Manuel Clementino, Carlos Fitas, Dirk Hofmann

Abstract: 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. 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. △ Less

Submitted 7 April, 2024; originally announced April 2024.

MSC Class: 18C10; 08C15; 18C05; 08A65; 18D20; 54B30

Effective descent morphisms of filtered preorders

Authors: Maria Manuel Clementino, George Janelidze

Abstract: 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 se… ▽ More 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'}$. △ Less

Submitted 21 December, 2023; originally announced December 2023.

MSC Class: 18C15; 18A20; 18A25; 18B35; 18E50

A note on Mal'tsev objects

Authors: M. M. Clementino, D. Rodelo

Abstract: The aim of this work is to compare the distinct notions of Mal'tsev object in the sense of Weighill and in the sense of Montoli-Rodelo-Van der Linden. The aim of this work is to compare the distinct notions of Mal'tsev object in the sense of Weighill and in the sense of Montoli-Rodelo-Van der Linden. △ Less

Submitted 30 April, 2024; v1 submitted 29 November, 2023; originally announced November 2023.

Lax comma categories of ordered sets

Authors: Maria Manuel Clementino, Fernando Lucatelli Nunes

Abstract: 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 com… ▽ More 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$. △ Less

Submitted 6 June, 2023; v1 submitted 27 December, 2022; originally announced December 2022.

Comments: 12 pages

Report number: DMUC CMUC PREPRINTS 22-49 MSC Class: 06A07; 18A25; 18A30; 18N10; 18D20; 18E50

Journal ref: Quaestiones Mathematicae, 46:sup1, 145-159 (2023)

On split extensions of preordered groups

Authors: Maria Manuel Clementino, Carla Ruivo

Abstract: 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 sp… ▽ More 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. △ Less

Submitted 14 December, 2022; originally announced December 2022.

MSC Class: 06F15; 18E13; 08C05

On coherent systems of subobjects with application to torsion theory

Authors: Francis Borceux, Maria Manuel Clementino

Abstract: 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. 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. △ Less

Submitted 25 October, 2022; originally announced October 2022.

MSC Class: 18E40; 18B50; 18A20; 18E35

On lax protomodularity of Ord-enriched categories

Authors: Maria Manuel Clementino, Andrea Montoli, Diana Rodelo

Abstract: 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 protomod… ▽ More 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. △ Less

Submitted 25 October, 2022; originally announced October 2022.

MSC Class: 18E13; 06F20; 18D20; 18N10

On presheaf submonads of quantale enriched categories

Authors: Maria Manuel Clementino, Carlos Fitas

Abstract: 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 algebr… ▽ More 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. △ Less

Submitted 6 April, 2022; v1 submitted 14 February, 2022; originally announced February 2022.

MSC Class: 18D20; 18C15; 18D60; 18A22; 18B35; 18F75

On the categorical behaviour of $V$-groups

Authors: Maria Manuel Clementino, Andrea Montoli

Abstract: 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, typ… ▽ More 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. △ Less

Submitted 15 May, 2020; originally announced May 2020.

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

Authors: Maria Manuel Clementino, Fernando Lucatelli Nunes

Abstract: 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$-cate… ▽ More 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. △ Less

Submitted 5 May, 2023; v1 submitted 8 February, 2020; originally announced February 2020.

Comments: 43 pages, new version

Report number: DMUC preprints, CMUC, DMUC 20-06 MSC Class: (2020) 18N10; 18N15; 18A05; 18A22; 18A40

Cartesian closed exact completions in topology

Authors: Maria Manuel Clementino, Dirk Hofmann, Willian Ribeiro

Abstract: 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 c… ▽ More 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}$. △ Less

Submitted 1 May, 2019; v1 submitted 9 November, 2018; originally announced November 2018.

MSC Class: 18B30; 18B35; 18D15; 18D20; 54B30; 54E35; 54E70

Some remarks on protolocalizations and protoadditive reflections

Authors: Maria Manuel Clementino, Marino Gran, George Janelidze

Abstract: 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 protol… ▽ More 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. △ Less

Submitted 16 February, 2021; v1 submitted 28 February, 2017; originally announced February 2017.

Comments: 12 pages

MSC Class: 18E40; 18A40; 18C05; 16N80; 08B99

Journal ref: Journal of Algebra and its Applications, Vol. 17 (11) 1850207 (2018)

Lax orthogonal factorisations in ordered structures

Authors: Maria Manuel Clementino, Ignacio Lopez Franco

Abstract: We give an account of lax orthogonal factorisation systems on order-enriched categories. Among them, we define and characterise the KZ-reflective ones, in a way that mirrors the characterisation of reflective orthogonal factorisation systems. We use simple monads to construct lax orthogonal factorisation systems, such as one on the category of T_0 topological spaces closely related to continuous l… ▽ More We give an account of lax orthogonal factorisation systems on order-enriched categories. Among them, we define and characterise the KZ-reflective ones, in a way that mirrors the characterisation of reflective orthogonal factorisation systems. We use simple monads to construct lax orthogonal factorisation systems, such as one on the category of T_0 topological spaces closely related to continuous lattices. △ Less

Submitted 8 February, 2017; originally announced February 2017.

Comments: 51 pages

Lax orthogonal factorisations in monad-quantale-enriched categories

Authors: Maria Manuel Clementino, Ignacio Lopez Franco

Abstract: We show that, for a quantale $V$ and a $\mathsf{Set}$-monad $\mathbb{T}$ laxly extended to $V$-$\mathsf{Rel}$, the presheaf monad on the category of $(\mathbb{T},V)$-categories is simple, giving rise to a lax orthogonal factorisation system (lofs) whose corresponding weak factorisation system has embeddings as left part. In addition, we present presheaf submonads and study the LOFSs they define. T… ▽ More We show that, for a quantale $V$ and a $\mathsf{Set}$-monad $\mathbb{T}$ laxly extended to $V$-$\mathsf{Rel}$, the presheaf monad on the category of $(\mathbb{T},V)$-categories is simple, giving rise to a lax orthogonal factorisation system (lofs) whose corresponding weak factorisation system has embeddings as left part. In addition, we present presheaf submonads and study the LOFSs they define. This provides a method of constructing weak factorisation systems on some well-known examples of topological categories over $\mathsf{Set}$. △ Less

Submitted 26 September, 2017; v1 submitted 19 January, 2017; originally announced January 2017.

Comments: 13 pages. Minor changes from previous version

Journal ref: Logical Methods in Computer Science, Volume 13, Issue 3 (September 27, 2017) lmcs:2667

Lax orthogonal factorisation systems

Authors: Maria Manuel Clementino, Ignacio Lopez Franco

Abstract: This paper introduces lax orthogonal algebraic weak factorisation systems on 2-categories and describes a method of constructing them. This method rests in the notion of simple 2-monad, that is a generalisation of the simple reflections studied by Cassidy, Hébert and Kelly. Each simple 2-monad on a finitely complete 2-category gives rise to a lax orthogonal algebraic weak factorisation system, and… ▽ More This paper introduces lax orthogonal algebraic weak factorisation systems on 2-categories and describes a method of constructing them. This method rests in the notion of simple 2-monad, that is a generalisation of the simple reflections studied by Cassidy, Hébert and Kelly. Each simple 2-monad on a finitely complete 2-category gives rise to a lax orthogonal algebraic weak factorisation system, and an example of a simple 2-monad is given by completion under a class of colimits. The notions of KZ lifting operation, lax natural lifting operation and lax orthogonality between morphisms are studied. △ Less

Submitted 9 September, 2016; v1 submitted 22 March, 2015; originally announced March 2015.

Comments: 59 pages

MSC Class: Primary 18D05; 18A32. Secondary 55U35

Journal ref: Advances in Mathematics, Volume 302, 22 October 2016, Pages 458-528

Representable (T, V)-categories

Authors: Dimitri Chikhladze, Maria Manuel Clementino, Dirk Hofmann

Abstract: Working in the framework of $(T, V)$-categories, for a symmetric monoidal closed category $V$ and a (not necessarily cartesian) monad $T$, we present a common account to the study of ordered compact Hausdorff spaces and stably compact spaces on one side and monoidal categories and representable multicategories on the other one. In this setting we introduce the notion of dual for $(T, V)$-categorie… ▽ More Working in the framework of $(T, V)$-categories, for a symmetric monoidal closed category $V$ and a (not necessarily cartesian) monad $T$, we present a common account to the study of ordered compact Hausdorff spaces and stably compact spaces on one side and monoidal categories and representable multicategories on the other one. In this setting we introduce the notion of dual for $(T, V)$-categories. △ Less

Submitted 24 October, 2014; originally announced October 2014.

MSC Class: 18C20; 18D15; 18A05; 18B30; 18B35

On the categorical meaning of Hausdorff and Gromov distances, I

Authors: Andrei Akhvlediani, Maria Manuel Clementino, Walter Tholen

Abstract: Hausdorff and Gromov distances are introduced and treated in the context of categories enriched over a commutative unital quantale V. The Hausdorff functor which, for every V-category X, provides the powerset of X with a suitable V-category structure, is part of a monad on V-Cat whose Eilenberg-Moore algebras are order-complete. The Gromov construction may be pursued for any endofunctor K of V-C… ▽ More Hausdorff and Gromov distances are introduced and treated in the context of categories enriched over a commutative unital quantale V. The Hausdorff functor which, for every V-category X, provides the powerset of X with a suitable V-category structure, is part of a monad on V-Cat whose Eilenberg-Moore algebras are order-complete. The Gromov construction may be pursued for any endofunctor K of V-Cat. In order to define the Gromov "distance" between V-categories X and Y we use V-modules between X and Y, rather than V-category structures on the disjoint union of X and Y. Hence, we first provide a general extension theorem which, for any K, yields a lax extension K to the category V-Mod of V-categories, with V-modules as morphisms. △ Less

Submitted 6 January, 2009; originally announced January 2009.

Comments: 27 pages

Relative injectivity as cocompleteness for a class of distributors

Authors: Maria Manuel Clementino, Dirk Hofmann

Abstract: Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topological theories. Recently in [D. Hofmann, Injective spaces via adjunction, arXiv:0804.0326 [math.CV]] the construction of a Yoneda embedding allowed to identify injectivity of spaces as cocompleteness and to show monadi… ▽ More Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topological theories. Recently in [D. Hofmann, Injective spaces via adjunction, arXiv:0804.0326 [math.CV]] the construction of a Yoneda embedding allowed to identify injectivity of spaces as cocompleteness and to show monadicity of the category of injective spaces and left adjoints over $\mathsf{Set}$. In this paper we generalise these results, studying cocompleteness with respect to a given class of distributors. We show in particular that the description of several semantic domains presented in [M. Escardó and B. Flagg, Semantic domains, injective spaces and monads, Electronic Notes in Theoretical Computer Science 20 (1999)] can be translated into the $\mathsf{V}$-enriched setting. △ Less

Submitted 25 July, 2008; originally announced July 2008.

MSC Class: 18 (primary); 54E (secondary)

Lawvere completeness in Topology

Authors: Maria Manuel Clementino, Dirk Hofmann

Abstract: It is known since 1973 that Lawvere's notion of (Cauchy-)complete enriched category is meaningful for metric spaces: it captures exactly Cauchy-complete metric spaces. In this paper we introduce the corresponding notion of Lawvere completeness for $(\mathbb{T},\mathsf{V})$-categories and show that it has an interesting meaning for topological spaces and quasi-uniform spaces: for the former ones… ▽ More It is known since 1973 that Lawvere's notion of (Cauchy-)complete enriched category is meaningful for metric spaces: it captures exactly Cauchy-complete metric spaces. In this paper we introduce the corresponding notion of Lawvere completeness for $(\mathbb{T},\mathsf{V})$-categories and show that it has an interesting meaning for topological spaces and quasi-uniform spaces: for the former ones means weak sobriety while for the latter means Cauchy completeness. Further, we show that $\mathsf{V}$ has a canonical $(\mathbb{T},\mathsf{V})$-category structure which plays a key role: it is Lawvere-complete under reasonable conditions on the setting; permits us to define a Yoneda embedding in the realm of $(\mathbb{T},\mathsf{V})$-categories. △ Less

Submitted 30 April, 2007; originally announced April 2007.

MSC Class: 18 (primary); 54E (secondary)

Exponentiable functors between quantaloid-enriched categories

Authors: Maria Manuel Clementino, Dirk Hofmann, Isar Stubbe

Abstract: Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor translate into existence statements for certain adjoints that obey some lax commutativity; this, in turn, is precisely what is needed to prove the existence of partial products with that functor; so that the functor's exponen… ▽ More Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor translate into existence statements for certain adjoints that obey some lax commutativity; this, in turn, is precisely what is needed to prove the existence of partial products with that functor; so that the functor's exponentiability follows from the works of Niefield [1980] and Dyckhoff and Tholen [1987]. △ Less

Submitted 25 August, 2006; v1 submitted 26 April, 2006; originally announced April 2006.

Comments: 10 pages; correction of flaw in proof