↑ Top


Sigma Types for General Mathematical Structures

This is the Base.Structures.Sigma module of the Agda Universal Algebra Library.


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

module Base.Structures.Sigma where

open import Base.Structures.Sigma.Basic        public
open import Base.Structures.Sigma.Products     public
open import Base.Structures.Sigma.Congruences  public
open import Base.Structures.Sigma.Homs         public
open import Base.Structures.Sigma.Isos         public

← Base.Structures.EquationalLogic Base.Structures.Sigma.Basic →