27 Apr
2003
27 Apr
'03
6:59 p.m.
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.