↑ Top


Sigma Types for General Mathematical Structures

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

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

module Structures.Sigma where

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


← Structures.EquationalLogic Structures.Sigma.Basic →