↑ Top


Algebra Types

This is the Base.Algebras module of the Agda Universal Algebra Library in which we use type theory and Agda to codify the most basic objects of universal algebra, such as signatures, algebras, product algebras, congruence relations, and quotient algebras.

{-# OPTIONS --without-K --exact-split --safe #-}

module Base.Algebras where

open import Base.Algebras.Basic
open import Base.Algebras.Products
open import Base.Algebras.Congruences


← Base.Adjunction.Residuation Base.Algebras.Basic →