---
layout: default
file: "src/Classical/Interpretations.lagda.md"
title: "Classical.Interpretations module"
date: "2026-06-15"
author: "the agda-algebras development team"
---

### 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.

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

module Classical.Interpretations where

open import Classical.Interpretations.Maltsev public
```