↑ Top


Types for General Mathematical Structures

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

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

module Structures where

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


← Varieties.Func.FreeAlgebras Structures.Basic →