↑ 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
open import Base.Structures.Graphs
open import Base.Structures.Graphs0
open import Base.Structures.Products
open import Base.Structures.Congruences
open import Base.Structures.Homs
open import Base.Structures.Isos
open import Base.Structures.Terms
open import Base.Structures.Substructures
open import Base.Structures.EquationalLogic
open import Base.Structures.Sigma


↑ Base Base.Structures.Basic →