Showing 1–12 of 12 results for author: Tendas, G

More on soundness in the enriched context

Authors: Giacomo Tendas

Abstract: Working within enriched category theory, we further develop the use of soundness, introduced by Adámek, Borceux, Lack, and Rosický for ordinary categories. In particular we investigate: (1) the theory of locally $Φ$-presentable $\mathcal V$-categories for a sound class $Φ$, (2) the problem of whether every $Φ$-accessible $\mathcal V$-category is $Ψ$-accessible, for given sound classes… ▽ More Working within enriched category theory, we further develop the use of soundness, introduced by Adámek, Borceux, Lack, and Rosický for ordinary categories. In particular we investigate: (1) the theory of locally $Φ$-presentable $\mathcal V$-categories for a sound class $Φ$, (2) the problem of whether every $Φ$-accessible $\mathcal V$-category is $Ψ$-accessible, for given sound classes $Φ\subseteqΨ$, and (3) a notion of $Φ$-ary equational theory whose $\mathcal V$-categories of models characterize algebras for $Φ$-ary monads on $\mathcal V$. △ Less

Submitted 23 September, 2024; v1 submitted 31 August, 2024; originally announced September 2024.

Comments: Typos fixed, improvements in the appendix

MSC Class: 18D20; 18C35; 18C05; 18C15

Enriched concepts of regular logic

Authors: Jiří Rosický, Giacomo Tendas

Abstract: Building on our previous work on enriched universal algebra, we define a notion of enriched language consisting of function and relation symbols whose arities are objects of the base of enrichment. In this context, we construct atomic formulas and define the regular fragment of enriched logic by taking conjunctions and existential quantifications of those. We then characterize enriched categories… ▽ More Building on our previous work on enriched universal algebra, we define a notion of enriched language consisting of function and relation symbols whose arities are objects of the base of enrichment. In this context, we construct atomic formulas and define the regular fragment of enriched logic by taking conjunctions and existential quantifications of those. We then characterize enriched categories of models of regular theories as enriched injectivity classes in the enriched category of structures. These notions rely on the choice of a factorization system on the base of enrichment which will be used to interpret relation symbols and existential quantifications. △ Less

Submitted 3 January, 2025; v1 submitted 18 June, 2024; originally announced June 2024.

Comments: Final journal version

Towards enriched universal algebra

Authors: Jiří Rosický, Giacomo Tendas

Abstract: Following the classical approach of Birkhoff, we suggest an enriched version of enriched universal algebra. Given a suitable base of enrichment $\mathcal V$, we define a language $\mathbb L$ to be a collection of $(X,Y)$-ary function symbols whose arities are taken among the objects of $\mathcal V$. The class of $\mathbb L$-terms is constructed recursively from the symbols of $\mathbb L$, the morp… ▽ More Following the classical approach of Birkhoff, we suggest an enriched version of enriched universal algebra. Given a suitable base of enrichment $\mathcal V$, we define a language $\mathbb L$ to be a collection of $(X,Y)$-ary function symbols whose arities are taken among the objects of $\mathcal V$. The class of $\mathbb L$-terms is constructed recursively from the symbols of $\mathbb L$, the morphisms in $\mathcal V$, and by incorporating the monoidal structure of $\mathcal V$. Then, $\mathbb L$-structures and interpretations of terms are defined, leading to enriched equational theories. In this framework we characterize algebras for finitary monads on $\mathcal V$ as models of an equational theories. △ Less

Submitted 19 November, 2024; v1 submitted 18 October, 2023; originally announced October 2023.

Comments: Change to a more modest title, Section 7.2 removed as it will have an independent treatment, other minor typos fixed

MSC Class: 18D20; 03C05; 18C05; 18C15

Flatness, weakly lex colimits, and free exact completions

Authors: Giacomo Tendas

Abstract: We capture in the context of lex colimits, introduced by Garner and Lack, the universal property of the free regular and Barr-exact completions of a weakly lex category. This is done by introducing a notion of flatness for functors $F\colon\mathcal C\to\mathcal E$ with lex codomain, and using this to describe the universal property of free $Φ$-exact completions in the absence of finite limits, for… ▽ More We capture in the context of lex colimits, introduced by Garner and Lack, the universal property of the free regular and Barr-exact completions of a weakly lex category. This is done by introducing a notion of flatness for functors $F\colon\mathcal C\to\mathcal E$ with lex codomain, and using this to describe the universal property of free $Φ$-exact completions in the absence of finite limits, for any given class $Φ$ of lex weights. In particular, we shall give necessary and sufficient conditions for the existence of free lextensive and free pretopos completions in the non-lex world, and prove that the ultraproducts, in the categories of models of such completions, satisfy an universal property. △ Less

Submitted 2 October, 2023; v1 submitted 18 April, 2023; originally announced April 2023.

Comments: Journal version, minor changes

MSC Class: 18E08; 18A35; 18D20; 18B25

Journal ref: Annali di Matematica Pura ed Applicata, 2023

Notions of enriched purity

Authors: Jiří Rosický, Giacomo Tendas

Abstract: We introduce enriched notions of purity depending on the left class $\mathcal E$ of a factorization system on the base $\mathcal V$ of enrichment. Ordinary purity is given by the class of surjective mappings in the category of sets. Under specific assumptions, covering enrichment over quantale-valued metric spaces, $ω$-complete posets, and quasivarieties, we characterize the $(λ,\mathcal E)$-injec… ▽ More We introduce enriched notions of purity depending on the left class $\mathcal E$ of a factorization system on the base $\mathcal V$ of enrichment. Ordinary purity is given by the class of surjective mappings in the category of sets. Under specific assumptions, covering enrichment over quantale-valued metric spaces, $ω$-complete posets, and quasivarieties, we characterize the $(λ,\mathcal E)$-injectivity classes of locally presentable $\mathcal V$-categories in terms of closure under a class of limits, $λ$-filtered colimits, and $(λ,\mathcal E)$-pure subobjects. △ Less

Submitted 20 December, 2024; v1 submitted 21 March, 2023; originally announced March 2023.

Comments: Final journal version

MSC Class: 18D20; 18A32; 18F75; 18G35

Journal ref: Theory and Applications of Categories, Vol. 41, No. 58 (2024) 2058--2104

Dualities in the theory of accessible categories

Authors: Giacomo Tendas

Abstract: Through the notion of weakly sound class of weights, we recover many known dualities involving accessible categories with a chosen class of limits, as instances of a general duality theorem. These include the Gabriel-Ulmer duality for locally finitely presentable categories, Diers duality for locally finitely multipresentable categories, and the Makkai-Paré duality for finitely accessible categori… ▽ More Through the notion of weakly sound class of weights, we recover many known dualities involving accessible categories with a chosen class of limits, as instances of a general duality theorem. These include the Gabriel-Ulmer duality for locally finitely presentable categories, Diers duality for locally finitely multipresentable categories, and the Makkai-Paré duality for finitely accessible categories. In doing so, we extend these to the enriched setting, provide a more formal and unifying approach to the theory, and also discuss new dualities that arise as a consequence of our main theorem. △ Less

Submitted 11 March, 2025; v1 submitted 13 February, 2023; originally announced February 2023.

Comments: v2 completely different from v1, only the sound case is considered. The previous (more general) version remains available in the author's PhD thesis. To appear in the Journal of Algebra

MSC Class: 18C10; 18C35; 18D20; 18A35; 18E08

Journal ref: Journal of Algebra, Volume 674, pages 29-49, 2025

Accessible categories with a class of limits

Authors: Stephen Lack, Giacomo Tendas

Abstract: In this paper we characterize those accessible $\mathcal V$-categories that have limits of a specified class. We do this by introducing the notion of companion $\mathfrak C$ for a class of weights $Ψ$, as a collection of special types of colimit diagrams that are compatible with $Ψ$. We then characterize the accessible $\mathcal V$-categories with $Ψ$-limits as those accessibly embedded and… ▽ More In this paper we characterize those accessible $\mathcal V$-categories that have limits of a specified class. We do this by introducing the notion of companion $\mathfrak C$ for a class of weights $Ψ$, as a collection of special types of colimit diagrams that are compatible with $Ψ$. We then characterize the accessible $\mathcal V$-categories with $Ψ$-limits as those accessibly embedded and $\mathfrak C$-virtually reflective in a presheaf $\mathcal V$-category, and as the $\mathcal V$-categories of $\mathfrak C$-models of sketches. This allows us to recover the standard theorems for locally presentable, locally multipresentable, and locally polypresentable categories as instances of the same general framework. In addition, our theorem covers the case of any weakly sound class $Ψ$, and provides a new perspective on the case of weakly locally presentable categories. △ Less

Submitted 7 June, 2023; v1 submitted 14 December, 2022; originally announced December 2022.

Comments: Journal version. Some references added, as well as 4.10, 4.11, 4.18, 4.20(4)

MSC Class: 18D20; 18C35; 18A35; 18C30

Journal ref: Journal of Pure and Applied Algebra, 228(2):107444, 2024

Virtual concepts in the theory of accessible categories

Authors: Stephen Lack, Giacomo Tendas

Abstract: We provide a new characterization of enriched accessible categories by introducing the two new notions of virtual reflectivity and virtual orthogonality as a generalization of the usual reflectivity and orthogonality conditions for locally presentable categories. The word virtual refers to the fact that the reflectivity and orthogonality conditions are given in the free completion of the… ▽ More We provide a new characterization of enriched accessible categories by introducing the two new notions of virtual reflectivity and virtual orthogonality as a generalization of the usual reflectivity and orthogonality conditions for locally presentable categories. The word virtual refers to the fact that the reflectivity and orthogonality conditions are given in the free completion of the $\mathcal V$-category involved under small limits, instead of the $\mathcal V$-category itself. In this way we hope to provide a clearer understanding of the theory as well as a useful way of recognizing accessible $\mathcal V$-categories. In the last section we prove that the 2-category of accessible $\mathcal V$-categories, accessible $\mathcal V$-functors, and $\mathcal V$-natural transformations has all flexible limits. △ Less

Submitted 25 July, 2022; v1 submitted 23 May, 2022; originally announced May 2022.

Comments: Minor changes, Remark 4.12 is new

MSC Class: 18D20; 18C35; 18C30; 18A35

Journal ref: Journal of Pure and Applied Algebra, 227(2):107196, 2023

On continuity of accessible functors

Authors: Giacomo Tendas

Abstract: We prove that for each locally $α$-presentable category $\mathcal K$ there exists a regular cardinal $γ$ such that any $α$-accessible functor out of $\mathcal K$ (into another locally $α$-presentable category) is continuous if and only if it preserves $γ$-small limits; as a consequence we obtain a new adjoint functor theorem specific to the $α$-accessible functors out of $\mathcal K$. Afterwards w… ▽ More We prove that for each locally $α$-presentable category $\mathcal K$ there exists a regular cardinal $γ$ such that any $α$-accessible functor out of $\mathcal K$ (into another locally $α$-presentable category) is continuous if and only if it preserves $γ$-small limits; as a consequence we obtain a new adjoint functor theorem specific to the $α$-accessible functors out of $\mathcal K$. Afterwards we generalize these results to the enriched setting and deduce, among other things, that a small $\mathcal V$-category is accessible if and only if it is Cauchy complete. △ Less

Submitted 31 March, 2022; v1 submitted 27 October, 2021; originally announced October 2021.

Comments: Revised version, minor typos fixed, published on Applied Categorical Structures

MSC Class: 18C35; 18D20; 18A35; 18A40

Flat vs. filtered colimits in the enriched context

Authors: Stephen Lack, Giacomo Tendas

Abstract: The importance of accessible categories has been widely recognized; they can be described as those freely generated in some precise sense by a small set of objects and, because of that, satisfy many good properties. More specifically finitely accessible categories can be characterized as: (a) free cocompletions of small categories under filtered colimits, and (b) categories of flat presheaves on s… ▽ More The importance of accessible categories has been widely recognized; they can be described as those freely generated in some precise sense by a small set of objects and, because of that, satisfy many good properties. More specifically finitely accessible categories can be characterized as: (a) free cocompletions of small categories under filtered colimits, and (b) categories of flat presheaves on some small category. The equivalence between (a) and (b) is what makes the theory so general and fruitful. Notions of enriched accessibility have also been considered in the literature for various bases of enrichment, such as $\mathbf{Ab},\mathbf{SSet},\mathbf{Cat}$ and $\mathbf{Met}$. The problem in this context is that the equivalence between (a) and (b) is no longer true in general. The aim of this paper is then to: (1) give sufficient conditions on $\mathcal V$ so that (a) $\Leftrightarrow$ (b) holds; (2) give sufficient conditions on $\mathcal V$ so that (a) $\Leftrightarrow $ (b) holds up to Cauchy completion; (3) explore some examples not covered by (1) or (2). △ Less

Submitted 31 March, 2022; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: Revised version: major changes to the introduction, added some words at the beginning of Sect. 3 and 4. To appear on Advances in Mathematics

MSC Class: 18D20; 18C35; 18A35; 18N10; 18N50; 18G35

Journal ref: Advances in Mathematics, Volume 404, Part A, 6 August 2022, 108381

Cauchy completeness for DG-categories

Authors: Branko Nikolić, Ross Street, Giacomo Tendas

Abstract: We go back to the roots of enriched category theory and study categories enriched in chain complexes; that is, we deal with differential graded categories (DG-categories for short). In particular, we recall weighted colimits and provide examples. We solve the 50 year old question of how to characterize Cauchy complete DG-categories in terms of existence of some specific finite absolute colimits. A… ▽ More We go back to the roots of enriched category theory and study categories enriched in chain complexes; that is, we deal with differential graded categories (DG-categories for short). In particular, we recall weighted colimits and provide examples. We solve the 50 year old question of how to characterize Cauchy complete DG-categories in terms of existence of some specific finite absolute colimits. As well as the interactions between absolute weighted colimits, we also examine the total complex of a chain complex in a DG-category as a non-absolute weighted colimit. △ Less

Submitted 8 August, 2021; v1 submitted 18 December, 2020; originally announced December 2020.

Comments: 27 pages. Remark 7.3 is new. It gives an example to show that cokernels of protosplit chain maps cannot be constructed from the other assumed colimits appearing in Theorem 7.2. Thanks to the referee for pointing out other needed changes

MSC Class: 18D20; 18G35; 18E30; 55P42

Journal ref: Theory and Applications of Categories, Vol. 37, No. 28 (2021) 940--963

Enriched Regular Theories

Authors: Stephen Lack, Giacomo Tendas

Abstract: Regular and exact categories were first introduced by Michael Barr in 1971; since then, the theory has developed and found many applications in algebra, geometry, and logic. In particular, a small regular category determines a certain theory, in the sense of logic, whose models are the regular functors into Set. Barr further showed that each small and regular category can be embedded in a particul… ▽ More Regular and exact categories were first introduced by Michael Barr in 1971; since then, the theory has developed and found many applications in algebra, geometry, and logic. In particular, a small regular category determines a certain theory, in the sense of logic, whose models are the regular functors into Set. Barr further showed that each small and regular category can be embedded in a particular category of presheaves; then in 1990 Makkai gave a simple explicit characterization of the essential image of the embedding, in the case where the original regular category is moreover exact. More recently Prest and Rajani, in the additive context, and Kuber and Rosický, in the ordinary one, described a duality which connects an exact category with its (definable) category of models. Considering a suitable base for enrichment, we define an enriched notion of regularity and exactness, and prove a corresponding version of the theorems of Barr, of Makkai, and of Prest-Rajani/Kuber-Rosický. △ Less

Submitted 6 December, 2019; v1 submitted 4 July, 2019; originally announced July 2019.

Comments: Reviewed version: changed statement of Theorem 3.3; changed proof of Lemma 8.2; added minor comments. To appear in the Journal of Pure and Applied Algebra: https://doi.org/10.1016/j.jpaa.2019.106268

MSC Class: 18D20; 18C10; 18C35; 18B15

Journal ref: Journal of Pure and Applied Algebra 224(6):106268, 2020