Agda UALib ↑

---

Homomorphism Types

This chapter presents the Homomorphisms module of the Agda Universal Algebra Library.

{-# OPTIONS --without-K --exact-split --safe #-}

module Homomorphisms where

open import Homomorphisms.Basic
open import Homomorphisms.Noether
open import Homomorphisms.Isomorphisms
open import Homomorphisms.HomomorphicImages

---

← Relations.Congruences Homomorphisms.Basic →