A new characterization of arithmetical categories and Pixley's theorem
We characterize the arithmetical categories - the exact Mal'tsev categories whose lattices of congruences are distributive - by a simple condition on some suitable pushouts and a finite limit: a regular category is exact arithmetical if and only if, for every triple of regular epimorphisms with common domain, the pairw...