Colimits of representable algebra-valued functors.
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)...
In this paper the concepts of mixed cartesian square and quasi-cocartesian square, already known in the category of groups, are adapted to the category of Lie algebras. These concepts can be used in the study of the obstructions of Lie algebra extensions in the same way that Wu has studied the obstructions of group extensions.