When a matrix condition implies the Mal'tsev property
Category Theory
2022-08-23 v1 Logic
Rings and Algebras
Abstract
Matrix conditions extend linear Mal'tsev conditions from Universal Algebra to exactness properties in Category Theory. Some can be stated in the finitely complete context while, in general, they can only be stated for regular categories. We study when such a matrix condition implies the Mal'tsev property. Our main results assert that, for both types of matrices, this implication is equivalent to the corresponding implication restricted to the context of varieties of universal algebras.
Keywords
Cite
@article{arxiv.2208.09516,
title = {When a matrix condition implies the Mal'tsev property},
author = {Michael Hoefnagel and Pierre-Alain Jacqmin},
journal= {arXiv preprint arXiv:2208.09516},
year = {2022}
}
Comments
27 pages