Resumen de When is the insertion of the generators injective for a sur-reflective subcategory of a category of many-sorted algebras?

Joan B. Climent Vidal, Juan Carlos Soliveres Tur

• For a many-sorted signature S = (S,S) we characterize, by defining the concept of support of an S-sorted set and a convenient algebraic closure operator ExS on S, those sur-reflective subcategories K of the category Alg(S) of all S-algebras for which the unit of the adjunction from SetS to K is pointwise monomorphic.