The cuboid lemma and Mal'tsev categories

DOI10.1007/S10485-013-9352-5MaRDI QIDQ2254584zbMATH OpenOpenAlexWikidataFDO

Authors Marino Gran, Diana Rodelo

Publication date 5 February 2015

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

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

zbMATH Keywords

pushoutsMal'tsev conditionGoursat category\(3 {\times} 3\) lemma

Mathematics Subject Classification ID

Categories of algebras (08C05) Categories of spans/cospans, relations, or partial maps (18B10) Abelian categories, Grothendieck categories (18E10) Equational categories (18C05)

Abstract: We prove that a regular category $mathcalC$ is a Mal'tsev category if and only if a strong form of the denormalised $3imes3$ Lemma holds true in $mathcalC$. In this version of the $3imes3$ Lemma, the vertical exact forks are replaced by pullbacks of regular epimorphisms along arbitrary morphisms. The shape of the diagram it determines suggests to call it the Cuboid Lemma. This new characterisation of regular categories that are Mal'tsev categories (= $2$-permutable) is similar to the one previously obtained for Goursat categories (= $3$-permutable). We also analyse the "relative" version of the Cuboid Lemma and extend our results to that context.

Recommendations

• Variations of the shifting lemma and Goursat categories
• Facets of congruence distributivity in Goursat categories
• The denormalized \(3{\times}3\) lemma
• On the naturalness of Mal'tsev categories
• On 2-star-permutability in regular multi-pointed categories

Cites work

• scientific article; zbMATH DE number 40566 (Why is no real title available?)
• scientific article; zbMATH DE number 2118486 (Why is no real title available?)
• A new characterisation of Goursat categories
• Diagram chasing in Mal'cev categories
• Galois theory and double central extensions
• Mal'cev varieties
• Relative Goursat categories
• Relative Mal'tsev categories
• Relative semi-abelian categories
• Resolutions, higher extensions and the relative Mal'tsev axiom
• Some remarks on Maltsev and Goursat categories
• The 3-by-3 lemma for regular Goursat categories
• The denormalized \(3{\times}3\) lemma
• The pointed subobject functor, \(3\times 3\) lemmas, and subtractivity of spans
• \(3 \times 3\) lemma for star-exact sequences

Cited in

(11)

• Beck-Chevalley condition and Goursat categories
• scientific article; zbMATH DE number 7324897 (Why is no real title available?)
• An embedding theorem for regular Mal'tsev categories
• On the ternary commutator. I: Exact Mal'tsev categories
• A unified classification theorem for Mal'tsev-like categories
• The \(3 \times 3\) lemma in the \(\Sigma\)-Mal'tsev and \(\Sigma\)-protomodular settings: applications to monoids and quandles
• On the naturalness of Mal'tsev categories
• On 2-star-permutability in regular multi-pointed categories
• A new characterisation of Goursat categories
• A Hilbert Cube L-S Category
• An introduction to regular categories

This page was built for publication: The cuboid lemma and Mal'tsev categories

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