When a matrix condition implies the Mal'tsev property
From MaRDI portal
Publication:6408314
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)
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.
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)
