The semigroup of reflective subcategories

An associative product is defined on the class of reflective subcategories of certain categories; we assume that the subcategories are closed under subobjects. The “semigroup”' obtained contains, in particular, the semigroup of varieties. Dually, one can define the “semigroup”' of coreflective subcategories with the same rule of multiplication.
Bibliography: 16 titles.