↑ Top


Types for General Mathematical Structures

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

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

module Base.Structures where

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


↑ Base Base.Structures.Basic →