Skip to content

The Agda Universal Algebra Library

Structures

ualib/agda-algebras

Legacy.Base.Structures¶

Types for General Mathematical Structures ¶

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


{-# OPTIONS --cubical-compatible --exact-split --safe #-}

module Legacy.Base.Structures where

open import Legacy.Base.Structures.Basic            public
open import Legacy.Base.Structures.Products         public
open import Legacy.Base.Structures.Congruences      public
open import Legacy.Base.Structures.Homs             public
open import Legacy.Base.Structures.Graphs           public
open import Legacy.Base.Structures.Isos             public
open import Legacy.Base.Structures.Terms            public
open import Legacy.Base.Structures.Substructures    public
open import Legacy.Base.Structures.EquationalLogic  public
open import Legacy.Base.Structures.Sigma