Free-Algebra Monads for Varieties

• Free-algebra monads are categorical constructs that freely generate algebras for a given variety by encoding operations and relations via universal constructions.
• They establish a duality with finitary algebraic theories, generalizing the Lawvere–Linton framework to enriched and multi-sorted settings.
• These monads provide explicit left adjoints to forgetful functors, underpinning Eilenberg-type correspondences and offering tools for systematic algebraic presentations.

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 (Parker, 2023). 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 (Parker, 2023, Adámek et al., 2020).

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 (Berger et al., 2011).

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 (Parker, 2023). 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)$ (Parker, 2023, Adámek et al., 2023). 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 (Adámek et al., 2023). 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$ (Parker, 2023). 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 (Adámek et al., 2020, Adámek et al., 2020).
• $V = UltMet$, $CPO$, $DCPO$: analogous dualities for quantitative and continuous algebra varieties hold (Adámek et al., 2023).

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 (Adámek et al., 2020). For enriched continuous algebra varieties, free-algebra monads are presented as colimits over discrete objects extended by joins, preserving continuity properties (Adámek et al., 2023, Esik et al., 2016).

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 (Esik et al., 2016). 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 (Adamek, 6 Jan 2026).

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 (Urbat et al., 2016). 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 (Adamek, 6 Jan 2026).

---

References

• “Strongly finitary monads and multi-sorted varieties enriched in cartesian closed concrete categories” (Parker, 2023).
• “A categorical view of varieties of ordered algebras” (Adámek et al., 2020).
• “Finitary Monads on the Category of Posets” (Adámek et al., 2020).
• “On Free $ω$-Continuous and Regular Ordered Algebras” (Esik et al., 2016).
• “Varieties of Quantitative or Continuous Algebras (Extended Abstract)” (Adámek et al., 2023).
• “Strongly finitary metric monads are too strong” (Adamek, 6 Jan 2026).
• “Sifted Colimits, Strongly Finitary Monads and Continuous Algebras” (Adámek et al., 2023).
• “Monads with arities and their associated theories” (Berger et al., 2011).
• “Connected monads weakly preserve products” (Gumm, 2019).
• “Eilenberg Theorems for Free” (Urbat et al., 2016).