↑ Top


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.Properties
open import Homomorphisms.Kernels
open import Homomorphisms.Products
open import Homomorphisms.Noether
open import Homomorphisms.Factor
open import Homomorphisms.Isomorphisms
open import Homomorphisms.HomomorphicImages
open import Homomorphisms.Func


← Algebras.Func.Congruences Homomorphisms.Basic →