Variations of the Shifting Lemma and Goursat categories

• Autor(a) principal: Gran, Marino
• Data de Publicação: 2019
• Outros Autores: Rodelo, Diana, Nguefeu, Idriss Tchoffo
• Tipo de documento: Artigo
• Idioma: eng
• Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
• Texto Completo: http://hdl.handle.net/10400.1/14408
• topic: Mal'tsev categories; Categories; Shifting Lemma; Congruence modular varieties; 3-permutable varieties

We prove that Mal'tsev and Goursat categories may be characterized through variations of the Shifting Lemma, that is classically expressed in terms of three congruences R, S and T, and characterizes congruence modular varieties. We first show that a regular category C is a Mal'tsev category if and only if the Shifting Lemma holds for reflexive relations on the same object in C. Moreover, we prove that a regular category C is a Goursat category if and only if the Shifting Lemma holds for a reflexive relation S and reflexive and positive relations R and T in C. In particular this provides a new characterization of 2-permutable and 3-permutable varieties and quasi-varieties of universal algebras.