This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.

Universal algebra

Files in the universal algebra folder

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-of-theories public
open import universal-algebra.congruences public
open import universal-algebra.homomorphisms-of-algebras public
open import universal-algebra.kernels public
open import universal-algebra.models-of-signatures public
open import universal-algebra.quotient-algebras public
open import universal-algebra.signatures public
open import universal-algebra.terms-over-signatures public