↑ Top


Types for Homomorphism of Setoid Algebras

This is the Homomorphisms.Func module of the Agda Universal Algebra Library.

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

module Homomorphisms.Func where

open import Homomorphisms.Func.Basic
open import Homomorphisms.Func.Properties
open import Homomorphisms.Func.Kernels
open import Homomorphisms.Func.Products
open import Homomorphisms.Func.Noether
open import Homomorphisms.Func.Factor
open import Homomorphisms.Func.Isomorphisms
open import Homomorphisms.Func.HomomorphicImages


← Homomorphisms.HomomorphicImages Homomorphisms.Func.Basic →