Base.Homomorphisms module (The Agda Universal Algebra Library)

Homomorphism Types

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

← Base.Algebras.Congruences Base.Homomorphisms.Basic →