Classical.Interpretations

Theory interpretations into classical structures

This is the Classical.Interpretations module of the Agda Universal Algebra Library.

This subtree collects worked theory interpretations (Setoid.Varieties.Interpretation) into specific classical structures. The inaugural instance is the Maltsev condition for groups.

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

module Classical.Interpretations where

open import Classical.Interpretations.Maltsev public