Engineering↗
Fully Invariant Congruences and Equational Theories
Equational theories as fully invariant congruences on the term algebra, the dual isomorphism with the lattice of varieties, and equational bases.
Every page in the KEVOS library tagged fully invariant congruence. 1 page.