↑ Top


Adjunction

This is the Adjunction module of the Agda Universal Algebra Library.

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

module Adjunction where

open import Adjunction.Closure
open import Adjunction.Galois
open import Adjunction.Residuation


← Equality.Extensionality Adjunction.Closure →