Tame Congruence Theory

A framework in universal algebra analyzing the local behavior of finite (and sometimes infinite) algebras by classifying minimal congruence pairs into a small finite list of types and studying the implications of those types for structure and constraint satisfaction.