Conditions syntaxiques de plongement. II. Prolongements de faisceaux et faisceaux associés
The paper introduces coproducts in categories without uniqueness of cod and dom. It is proven that set-theoretical disjoint union is the coproduct in the category Ens [9].
The question of how to combine monads arises naturally in many areas with much recent interest focusing on the coproduct of two monads. In general, the coproduct of arbitrary monads does not always exist. Although a rather general construction was given by Kelly [Bull. Austral. Math. Soc. 22 (1980) 1–83], its generality is reflected in its complexity which limits the applicability of this construction. Following our own research [C. Lüth and N. Ghani, Lect. Notes Artif. Intell. 2309 (2002) 18–32],...
The question of how to combine monads arises naturally in many areas with much recent interest focusing on the coproduct of two monads. In general, the coproduct of arbitrary monads does not always exist. Although a rather general construction was given by Kelly [Bull. Austral. Math. Soc.22 (1980) 1–83], its generality is reflected in its complexity which limits the applicability of this construction. Following our own research [C. Lüth and N. Ghani, Lect. Notes Artif. Intell.2309 (2002)...
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...