Re: equivalent varieties

peter johnstone wrote: |The equivalence of these varieties for all p is well known. It's best |understood by seeing that they are all dual to the category of Stone i think of these equivalences as sort-of "morita equivalences" between lawvere-style algebraic theories. for any finite k, the category of sets of cardinality a finite power of k has splitting-idempotents completion the category of finite sets.