Anticommutativity and the triangular lemma
Abstract
For a variety $\mathcal{V}$, it has been recently shown that binary products commute with arbitrary coequalizers locally, i.e., in every fibre of the fibration of points $\pi: \mathrm{Pt} (\mathbb{C}) \rightarrow \mathbb{C}$, if and only if Gumm's shifting lemma holds on pullbacks in $\mathcal{V}$. In this paper, we establish a similar result connecting the so-called triangular lemma in universal algebra with a certain categorical $\textit{anticommutativity}$ condition. In particular, we show that this anticommutativity and its local version are Mal'tsev conditions, the local version being equivalent to the triangular lemma on pullbacks. As a corollary, every locally anticommutative variety $\mathcal{V}$ has directly decomposable congruence classes in the sense of Duda, and the converse holds if $\mathcal{V}$ is idempotent.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2020
- DOI:
- 10.48550/arXiv.2008.00486
- arXiv:
- arXiv:2008.00486
- Bibcode:
- 2020arXiv200800486H
- Keywords:
-
- Mathematics - Category Theory;
- 08B05;
- 08B10;
- 18E13
- E-Print:
- 18 pages