↑ 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 →