Showing 1–3 of 3 results for author: Aravantinos-Sotiropoulos, V

Sweedler theory for double categories

Authors: Vasileios Aravantinos-Sotiropoulos, Christina Vasilakopoulou

Abstract: In this work, we establish certain enrichments of dual algebraic structures in the setting of monoidal double categories. In more detail, we obtain a tensored and cotensored enrichment of monads in comonads, as well as a tensored and cotensored enrichment of modules in comodules, under very general conditions on the surrounding double category. These include `monoidal closedness' and `local presen… ▽ More In this work, we establish certain enrichments of dual algebraic structures in the setting of monoidal double categories. In more detail, we obtain a tensored and cotensored enrichment of monads in comonads, as well as a tensored and cotensored enrichment of modules in comodules, under very general conditions on the surrounding double category. These include `monoidal closedness' and `local presentability', leading classical notions which are here introduced in the double categorical context. Furthermore, we show that in this setting, the actual fibration of modules over monads is itself enriched in the opfibration of comodules over comonads. Applying this abstract double categorical framework to the setting of V-matrices, one directly obtains a many-object generalization of the known enrichment of modules over monoids in comodules over comonoids in a monoidal category V, which was originally induced by Sweedler's measuring k-coalgebras in vector spaces. In the present setting the result involves V-enriched modules of V-categories and V-enriched comodules of V-cocategories. △ Less

Submitted 3 February, 2025; v1 submitted 6 August, 2024; originally announced August 2024.

Comments: 58 pages; change of title and minor edits

The Exact Completion for Regular Categories enriched in Posets

Authors: Vasileios Aravantinos-Sotiropoulos

Abstract: We construct an exact completion for regular categories enriched in the cartesian closed category $\mathsf{Pos}$ of partially ordered sets and monotone functions by employing a suitable calculus of relations. We then characterize the embedding of any regular category into its completion and use this to obtain examples of concrete categories which arise as such completions. In particular, we prove… ▽ More We construct an exact completion for regular categories enriched in the cartesian closed category $\mathsf{Pos}$ of partially ordered sets and monotone functions by employing a suitable calculus of relations. We then characterize the embedding of any regular category into its completion and use this to obtain examples of concrete categories which arise as such completions. In particular, we prove that the exact completion in this enriched sense of both the categories of Stone and Priestley spaces is the category of compact ordered spaces of L. Nachbin. Finally, we consider the relationship between the enriched exact completion and categories of internal posets in ordinary categories. △ Less

Submitted 28 July, 2021; v1 submitted 26 January, 2021; originally announced January 2021.

Comments: 42 pages. To appear in Journal of Pure and Applied Algebra

MSC Class: 18E08; 06F05; 18D20

Projective Covers of 2-star-permutable Categories

Authors: Vasileios Aravantinos-Sotiropoulos

Abstract: We introduce the notion of star-symmetry for relations in a multi-pointed category and use it to obtain a characterization of the projective covers of 2-star-permutable categories. This generalizes the results of Rosický-Vitale for regular Mal'tsev categories, as well as those of Gran-Rodelo for regular subtractive categories. We apply the characterization in terms of star-symmetry to recover the… ▽ More We introduce the notion of star-symmetry for relations in a multi-pointed category and use it to obtain a characterization of the projective covers of 2-star-permutable categories. This generalizes the results of Rosický-Vitale for regular Mal'tsev categories, as well as those of Gran-Rodelo for regular subtractive categories. We apply the characterization in terms of star-symmetry to recover the syntactic conditions defining E-subtractive varieties in the sense of Ursini. △ Less

Submitted 30 October, 2019; originally announced October 2019.

Comments: 17 pages

MSC Class: 18C05; 18A35; 08B05; 18G05