On Dualizing Clones as Lawvere Theories
暂无分享,去创建一个
In this paper we treat clones as Lawvere theories and then dualize them as categories, rather than as single objects of a category of algebras. The approach applies only to some primitive-positive clones, but in return, a structure with somewhat surprising properties is obtained. To illustrate the method, we thoroughly investigate the lattice of clones of operations over a finite boolean algebra.
[1] Reinhard Pöschel,et al. Funktionen- und Relationenalgebren , 1979 .
[2] Cheryl E. Praeger,et al. A classification of the maximal subgroups of the finite alternating and symmetric groups , 1987 .