↑ Top

Algebra Types

This is the 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 Algebras where

open import Algebras.Basic
open import Algebras.Products
open import Algebras.Congruences
open import Algebras.Func

← Adjunction.Residuation Algebras.Basic →