Catégories qualifiables et catégories esquissables
Let and be abelian categories with enough projective and injective objects, and a left exact additive functor. Then one has a comma category . It is shown that if is -exact, then is a (hereditary) cotorsion pair in and ) is a (hereditary) cotorsion pair in if and only if is a (hereditary) cotorsion pair in and and are closed under extensions. Furthermore, we characterize when special preenveloping classes in abelian categories and can induce special preenveloping classes...
In this note we show that the main results of the paper [PR] can be obtained as consequences of more general results concerning categories whose morphisms can be uniquely presented as compositions of morphisms of their two subcategories with the same objects. First we will prove these general results and then we will apply it to the case of finite noncommutative sets.
We study finiteness properties, especially the noetherian property, the Krull dimension and a variation of finite presentation, in categories of polynomial functors (notion introduced by Djament and Vespa) from a small symmetric monoidal category whose unit is an initial object to an abelian category. We prove in particular that the category of polynomial functors from the category of free abelian groups ℤⁿ with split monomorphisms to abelian groups is "almost" locally noetherian. We also give an...
In the first part of this article we formalize the concepts of terminal and initial object, categorical product [4] and natural transformation within a free-object category [1]. In particular, we show that this definition of natural transformation is equivalent to the standard definition [13]. Then we introduce the exponential object using its universal property and we show the isomorphism between the exponential object of categories and the functor category [12].