Approximate Hagemann-Mitschke co-operations

DOI10.1007/S10485-013-9359-YMaRDI QIDQ2254596zbMATH OpenOpenAlexFDO

Authors Diana Rodelo, Tim Van der Linden

Publication date 5 February 2015

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1305.1115

zbMATH Keywords

\(n\)-permutable varietybinary coproductco-operationMal'tsev category

Mathematics Subject Classification ID

Categories of algebras (08C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abelian categories, Grothendieck categories (18E10)

Abstract: We show that varietal techniques based on the existence of operations of a certain arity can be extended to n-permutable categories with binary coproducts. This is achieved via what we call approximate Hagemann-Mitschke co-operations, a generalisation of the notion of approximate Mal'tsev co-operation. In particular, we extend characterisation theorems for n-permutable varieties due to J. Hagemann and A. Mitschke to regular categories with binary coproducts.

Review text

A variety \(\mathbf V\) of universal algebras is \(n\)-permutable if for every algebra \(A\in \mathbf V\) and every pair of congruences \(R\) and \(S\) of \( A\) we have \((R\circ S)^n=(S\circ R)^n\). This notion is generalized such that a regular category \(\mathbf C\) is \(n\)-permutable if for every object \( A\) of \(\mathbf C\) and every pair of effective equivalence relations \(R\) and \( S\) on \(A\) we have \((R\circ S)^n=(S\circ R)^n\). It is well known that \(n\)-permutable varieties are characterized by Mal'tsev ternary terms or \((n+1)\)-ary algebraic operations. Moreover, Hagemann and Mitschke characterized \(n\)-permutable varieties in the language of reflexive subalgebras of square algebras from \(\mathbf V\). The paper generalizes these results for regular categories with binary coproducts.

Recommendations

• Hagemann's theorem for regular categories
• Stability properties characterising \(n\)-permutable categories
• scientific article; zbMATH DE number 5526294
• A class of exactness properties characterized via left Kan extensions
• Closedness properties of internal relations. VI: Approximate operations

Cites work

• Categorical (binary) difference terms and protomodularity
• Categories vs. groupoids via generalised Mal'tsev properties
• Closedness properties of internal relations. VI: Approximate operations
• Exact categories and categories of sheaves
• Hagemann's theorem for regular categories
• scientific article; zbMATH DE number 5526294 (Why is no real title available?)
• scientific article; zbMATH DE number 3399314 (Why is no real title available?)
• scientific article; zbMATH DE number 3091018 (Why is no real title available?)
• Implication algebras are 3-permutable and 3-distributive
• Kongruenzklassengeometrien
• Mal'cev varieties
• On \(n\)-permutable congruences
• Pointed protomodularity via natural imaginary subtractions
• Some remarks on Maltsev and Goursat categories
• Subtractive categories and extended subtractions
• Two Mal'cev-type theorems in universal algebra

Cited in

(9)

• The complete cost of cofactor \(h=1\)
• Intrinsic Schreier split extensions
• Hagemann's theorem for regular categories
• Embedding theorems for Janelidze's matrix conditions
• scientific article; zbMATH DE number 38324 (Why is no real title available?)
• A new characterisation of Goursat categories
• scientific article; zbMATH DE number 1560489 (Why is no real title available?)
• Stability properties characterising \(n\)-permutable categories
• scientific article; zbMATH DE number 937391 (Why is no real title available?)

This page was built for publication: Approximate Hagemann-Mitschke co-operations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2254596)