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

• Autores: Joan B. Climent Vidal , Juan Carlos Soliveres Tur
• Localización: Houston journal of mathematics, ISSN 0362-1588, Vol. 35, Nº 2, 2009, págs. 363-372
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.