Teoría de las Congruencias Domables

Un marco en álgebra universal que analiza el comportamiento local de álgebras finitas (y a veces infinitas) clasificando pares mínimos de congruencia en una lista finita de tipos y estudiando las implicaciones de esos tipos para la estructura y la satisfacción de restricciones.