Skip to content

Universal Algebra

← Back to Domain-Specific Abstractions by Domain

4 domain-specific abstractions whose origin domain is Universal Algebra.

  • Congruence lattice problem — The representation problem asking which distributive algebraic lattices occur as congruence lattices of lattices.
  • Finite lattice representation problem — The question whether every finite lattice is isomorphic to the congruence lattice of some finite algebra.
  • Medial magma — A magma whose binary operation satisfies (ab)(cd)=(ac)(bd) for all four elements.
  • Term algebra — The freely generated algebra of formal terms built from variables and operation symbols in a signature, initial among algebras receiving those generators.