Duality in topological algebra

Abstract

Aspects of duality relating to compact totally disconnected universal algebras are considered. It is shown that if P is a ““basic“ set of injectives in a variety of compact totally disconnected algebras then the category P of P-copresentable objects is in duality with the class of all G-copresentable algebras on P, where G: P → Ens is the forgetful functor and an algebra is taken to mean a finite-product-preserving functor from P to Ens.