Universal algebra

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

Created on 2023-03-20.
Last modified on 2024-09-23.

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-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

Recent changes

• 2024-09-23. Fredrik Bakke. Some typos, wording improvements, and brief prose additions (#1186).
• 2024-07-10. Fredrik Bakke. chore: Fix some typos in the wild-category-theory module (#1158).
• 2023-05-06. Egbert Rijke. Collecting some easily defined precategories (#598).
• 2023-03-28. Fernando Chu. Final universal algebra (#544).
• 2023-03-20. Fernando Chu. Universal algebra first commit (#522).