This chapter presents the Base.Homomorphisms module of the Agda Universal Algebra Library.
{-# OPTIONS --without-K --exact-split --safe #-} module Base.Homomorphisms where open import Base.Homomorphisms.Basic open import Base.Homomorphisms.Properties open import Base.Homomorphisms.Kernels open import Base.Homomorphisms.Products open import Base.Homomorphisms.Noether open import Base.Homomorphisms.Factor open import Base.Homomorphisms.Isomorphisms open import Base.Homomorphisms.HomomorphicImages