---
title: Free-Algebra Monads for Varieties
url: https://www.emergentmind.com/topics/free-algebra-monads-of-varieties
type: topic
---

# Free-Algebra Monads for Varieties

Free-Algebra Monads of Varieties

A free-algebra monad of a variety is a categorical construct encapsulating the process of freely generating algebras in a given class according to specified operations and (in-)equations. In classical algebraic settings, Lawvere and Linton established that finitary varieties (in Birkhoff’s sense) are dually equivalent to finitary monads on $Set$. This duality generalizes to enriched and multi-sorted contexts, where free-algebra monads relate varieties of algebras defined by enriched signatures and equations to strongly finitary monads on cartesian closed concrete categories and their powers [2310.04587]. Concretely, free-algebra monads encode the universal construction of terms modulo relations in a given variety, yielding explicit left adjoints to forgetful functors and thereby establishing precise categorical correspondences and dualities.

## 1. Lawvere–Linton Duality and Finitary Monads

The foundational paradigm asserts that finitary varieties—classes of models of ranked signatures and equations—correspond dually to finitary monads on $Set$. Given an ordinary algebraic signature $\Sigma$ and a set of equations $E$, the term-algebra functor $T_\Sigma$ builds all $\Sigma$-terms on variable sets; the quotient by the congruence generated by $E$ yields the free algebra functor $T$. This functor, with unit and multiplication maps corresponding to variable inclusion and term substitution, assembles into a finitary monad whose Eilenberg–Moore category recovers the variety [2310.04587], [2011.13839].

This bijection is realized through universal presentations:
- On $Set$, free-algebra monads are constructed via filtered colimits and coequalizer diagrams of monad morphisms, encoding generators and relations.
- Every finitary monad on $Set$ determines a Lawvere theory (small category with finite products) and conversely [1101.3064].

## 2. Enriched and Multi-Sorted Varieties

The duality generalizes to enriched settings by working in categories $V$ such as $\mathsf{Pos}$ (posets), $\mathsf{UltMet}$ (ultrametric spaces), $\omega$-$\mathsf{CPO}$ (ω-cpos), or $\mathsf{DCPO}$ (dcpos), each admitting a faithful underlying-set functor and sufficient completeness and cocompleteness [2310.04587]. For a set $S$ of sorts, the underlying object category is the power $V^S$, so each element is an $S$-indexed family $(X_s)_{s \in S}$. A $V$-enriched $S$-sorted variety is specified by:
- An enriched signature $\Sigma$ assigning to each operation symbol its arity profile $J \in N_S$ (finite-support function $S \to \mathbb{N}$) and parameter object $P_\sigma \in \operatorname{Ob} V$.
- Syntactic equations $E$ between terms in compatible input contexts.
- Algebras interpret operations by morphisms $P \to [A^J, A_s]$, and satisfy the equations.

The forgetful functor $U^T:T\to V^S$ admits a left adjoint $F^T$, producing a free-algebra monad $(T,\eta,\mu)$, where $T=U^TF^T$ is the universal envelope over $V^S$.

## 3. Strongly Finitary Monads and Kan Extensions

A $V$-endofunctor $T:V^S\to V^S$ is strongly finitary if it is the $V$-enriched left Kan extension of its restriction to the subcategory $N_S$ of finite discrete objects:
$$ T \cong \mathrm{Lan}_j(T|_{N_S}) $$
with $j:N_S\to V^S$ the inclusion. The explicit formula is, for $X\in V^S$:
$$ T(X) \cong \int^{J \in N_S} V^S(J,X) \otimes T(J) $$
where $V^S(J,X)$ is the hom-object, $\otimes$ is the $V^S$-tensor, and the coend computes all possible ways of inputting finite discrete arities into $X$ and assembling the corresponding outputs via $T(J)$ [2310.04587], [2301.01034]. The monad $(T,\eta,\mu)$ is strongly finitary if its functorial part is so.

Strongly finitary monads are characterized by preservation of sifted colimits—in $Pos$, $CPO$, $DCPO$ this means filtered colimits and reflexive coinserters [2301.05730]. In metric spaces, the preservation is with respect to directed colimits and certain weighted diagrams.

## 4. Duality Theorem for Varieties and Strongly Finitary Monads

The main equivalence, generalizing Lawvere–Linton duality, is:
$$ \operatorname{Var}(V^S) \simeq \operatorname{Mnd}_{sf}(V^S)^{op} $$
where $\operatorname{Var}(V^S)$ is the category of $V$-enriched $S$-sorted varieties, and $\operatorname{Mnd}_{sf}(V^S)$ the category of strongly finitary $V$-monads on $V^S$ [2310.04587]. This equivalence is realized by sending each variety to its free-algebra monad, and conversely reconstructing the signature and equations from a strongly finitary monad via its Kan-extension presentation—operations as structure maps, equations encoding unit/multiplication laws.

Key cases:
- $V = Set$: recovers classical Birkhoff–Lawvere duality.
- $V = Pos$, $S = 1$: ordered algebra varieties correspond to strongly finitary Pos-monads [2011.13839], [2011.14796].
- $V = UltMet$, $CPO$, $DCPO$: analogous dualities for quantitative and continuous algebra varieties hold [2301.01034].

## 5. Explicit Construction of Free-Algebra Monads

The formula for the free functor corresponding to a variety (with $S$ sorts) is:
$$ T(X)_s \cong \operatorname{colim}_{J \in N_S} V^S(J,X) \times (T(J))_s $$
where colimit is taken over all finite-support profiles $J$ mapping sorts to nonzero arity, and $V^S(J,X)$ is the set of morphisms (or, in enriched contexts, the hom-object). In the single-sorted case on $Set$, this specializes to:
$$ T(X) \cong \operatorname{colim}_{n \in \mathbb{N}} (X^n \times \Sigma_n)/\equiv $$
with $\Sigma_n$ the set of $n$-ary operation symbols, and $\equiv$ the congruence generated by the equations.

In $Pos$, the analogous construction involves quotients by admissible preorders, possibly organized via reflexive coinserters, which categorically encode the inequational structure [2011.13839]. For enriched continuous algebra varieties, free-algebra monads are presented as colimits over discrete objects extended by joins, preserving continuity properties [2301.05730], [1612.02106].

## 6. Extensions: Quasi-Regular and Continuous Varieties

In settings with additional structure (e.g., continuous, regular, or “quantitative” algebras), submonads of coterm-monads or enriched monads encode the universal properties of free objects. A “quasi-regular family” of terms closed under substitution yields a submonad whose Eilenberg–Moore algebras have restricted continuity or regularity, as in ω-continuous semirings, *-continuous Kleene algebras, or context-free languages [1612.02106]. In continuous or $\Delta$-continuous settings ($CPO$, $DCPO$), free-algebra monads are strongly finitary precisely when they preserve sifted colimits (filtered colimits plus reflexive coinserters).

In metric spaces ($Met$, $CMet$), the main result establishes that free-algebra monads of varieties are not always strongly finitary; rather, they are weighted colimits ("semi-strongly finitary") of strongly finitary monads in the 2-category of finitary monads—a crucial refinement for quantitative algebra theory [2601.03180].

## 7. Applications and Further Directions

Free-algebra monads of varieties play central roles in categorical algebra, universal algebra, and algebraic language theory. They underpin Eilenberg-type correspondences (varieties of languages to pseudovarieties of finite algebras), via duality and profinite monads, with extensive examples ranging from classical regular languages to ω-languages, cost functions, and tree languages [1602.05831]. The monad-theoretic perspective provides uniform tools for constructing, presenting, and studying algebraic structures in enriched and multi-sorted settings, and facilitates generalizations to new semantic domains (ultrametric, probabilistic, etc.).

Open problems address the precise syntactic characterization of semi-strongly finitary monads, connections to enriched Lawvere theories, and closure properties under colimits and composition, especially in enriched metric contexts [2601.03180].

---

**References**  
- “Strongly finitary monads and multi-sorted varieties enriched in cartesian closed concrete categories” [2310.04587].
- “A categorical view of varieties of ordered algebras” [2011.13839].
- “Finitary Monads on the Category of Posets” [2011.14796].
- “On Free $ω$-Continuous and Regular Ordered Algebras” [1612.02106].
- “Varieties of Quantitative or Continuous Algebras (Extended Abstract)” [2301.01034].
- “Strongly finitary metric monads are too strong” [2601.03180].
- “Sifted Colimits, Strongly Finitary Monads and Continuous Algebras” [2301.05730].
- “Monads with arities and their associated theories” [1101.3064].
- “Connected monads weakly preserve products” [1909.02259].
- “Eilenberg Theorems for Free” [1602.05831].

Source: https://www.emergentmind.com/topics/free-algebra-monads-of-varieties