We show that every finite a?ne algebra A admits a full duality. In the process, we prove that A also allows a strong duality, and that the duality may be induced by a dualizing structure A? of finite type.
We give an explicit bound on the arities of the partial and total operations appearing in A?

In addition, we show that the enriched partial hom-clone of A is finitely generated as a clone.

CEMAT - Center for Computational and Stochastic Mathematics