Universal algebra
Content created by Fernando Chu, Egbert Rijke, Fredrik Bakke and Garrett Figueroa.
Created on 2023-03-20.
Last modified on 2025-09-05.
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.category-of-algebras-of-theories public open import universal-algebra.congruences public open import universal-algebra.equivalences-of-models-of-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-of-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
- 2025-09-05. Garrett Figueroa. Category of algebras of a theory (#1483).
- 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).