When a matrix condition implies the Mal'tsev property

arXiv2208.09516MaRDI QIDQ6408314FDOQ6408314

Authors: Michael Hoefnagel, Pierre-Alain Jacqmin 

Publication date: 19 August 2022

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.

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Partial algebras (08A55) Equational categories (18C05) Axiomatic model classes (08C10) Regular categories, Barr-exact categories (18E08) Protomodular categories, semi-abelian categories, Mal'tsev categories (18E13) Computational methods for problems pertaining to category theory (18-08)

This page was built for publication: When a matrix condition implies the Mal'tsev property

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