Universal Algebra
Content created by Fernando Chu and Egbert Rijke.
Created on 2023-03-20.
Last modified on 2023-05-06.
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
Recent changes
- 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).