Universal algebra

Content created by Fernando Chu, Fredrik Bakke, Egbert Rijke and Garrett Figueroa.

Created on 2023-03-20.
Last modified on 2025-10-31.

Modules in the universal algebra namespace

module universal-algebra where

open import universal-algebra.abstract-equations-over-signatures public
open import universal-algebra.algebraic-theories public
open import universal-algebra.algebraic-theory-of-groups public
open import universal-algebra.algebras public
open import universal-algebra.category-of-algebras-algebraic-theories public
open import universal-algebra.congruences public
open import universal-algebra.equivalences-models-of-signatures public
open import universal-algebra.extensions-signatures public
open import universal-algebra.homomorphisms-of-algebras public
open import universal-algebra.isomorphisms-of-algebras public
open import universal-algebra.kernels public
open import universal-algebra.models-of-signatures public
open import universal-algebra.morphisms-of-models-of-signatures public
open import universal-algebra.precategory-of-algebras-algebraic-theories public
open import universal-algebra.quotient-algebras public
open import universal-algebra.signatures public
open import universal-algebra.terms-over-signatures public

Recent changes