Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
422347 | Electronic Notes in Theoretical Computer Science | 2014 | 14 Pages |
Abstract
In universal algebra, clones are used to study algebras abstracted from their signature. The aim of this paper is to give a brief introduction to the theory thereof. We give basic definitions and examples, and we present several results and open problems, selected from almost one hundred years of ongoing research. We also discuss what is arguably the most important tool to study clones – the Galois connection between operations and relations built on the notion of preservation. We conclude the paper by explaining the connection between clones and the closely related category theoretic notion of Lawvere theory.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics